Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Real, Jorge
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Vardanega, Tullio
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6106
Θέματα:	Computer science Computer Communication Networks Software engineering Logic design Computer Science Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-13550-7


LEADER	01658nom a2200397 u 4500
001	10090446
003	upatras
005	20210117202817.0
008	110802s2010 eng
020			\|a 9783642135507
040			\|a GR-PaULI \|c GR-PaULI
041	0		\|a eng
100	1		\|a Real, Jorge \|9 93905
245	1	0	\|a Reliable Software Technologiey β Ada-Europe 2010 \|h [electronic resource] \|b 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings \|c edited by Jorge Real, Tullio Vardanega
260			\|a Berlin, Heidelberg \|b Springer-Verlag Berlin Heidelberg \|c 2010
300			\|b v.: digital
490	0		\|a Lecture Notes in Computer Science \|v 6106 \|x 0302-9743
650		4	\|a Computer science \|9 13995
650		4	\|a Computer Communication Networks \|9 64562
650		4	\|a Software engineering \|9 22316
650		4	\|a Logic design \|9 64563
650		4	\|a Computer Science \|9 64565
650		4	\|a Programming Languages, Compilers, Interpreters \|9 64661
650		4	\|a Software Engineering \|9 64566
650		4	\|a Logics and Meanings of Programs \|9 64567
650		4	\|a Computer Communication Networks \|9 64562
650		4	\|a Programming Techniques \|9 64613
650		4	\|a Mathematical Logic and Formal Languages \|9 67086
700	1		\|a Vardanega, Tullio \|9 93906
710	2		\|a SpringerLink (Online service) \|9 68735
760	1		\|a Lecture notes in computer science \|g 6106 \|x 0302-9743
852			\|a GR-PaULI \|b ΠΑΤΡΑ \|b ΒΚΠ
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-13550-7
942			\|2 ddc
952			\|0 0 \|1 0 \|4 0 \|7 0 \|9 98360 \|a LISP \|b LISP \|d 2016-04-24 \|l 0 \|r 2016-04-24 00:00:00 \|w 2016-04-24 \|y ERS
999			\|c 66146 \|d 66146

Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings