Model checking /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (συγγραφέας.)
Άλλοι συγγραφείς: Grumberg, Orna (συγγραφέας.), Peled, Doron A., 1962- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge, Mass. : MIT Press, c1999.
Θέματα:

ΒΚΠ - Πατρα: BSC

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