Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Shukla, Sandeep K
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Talpin, Jean-Pierre
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA Springer Science+Business Media, LLC 2010
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-1-4419-6400-7

Διαδίκτυο

http://dx.doi.org/10.1007/978-1-4419-6400-7

ΒΚΠ - Πατρα: Unknown

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: Unknown
Αντίγραφο Unknown Στη βιβλιοθήκη