Scalable Techniques for Formal Verification

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

Διαδίκτυο

http://dx.doi.org/10.1007/978-1-4419-5998-0

ΒΚΠ - Πατρα: Unknown

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