Model checking /

Model checking /

Bibliographic Details
Main Author: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (συγγραφέας.)
Other Authors: Grumberg, Orna (συγγραφέας.), Peled, Doron A., 1962- (συγγραφέας.)
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, c1999.
Subjects:
Υπολογιστικά συστήματα

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 004.21 CLA
Copy 1 Available

Similar Items