M. Bidoit
Popular items by M. Bidoit
View all offers-
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
Item prices starting from
View 3 offersUS$ 9.99
-
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900)
Bidoit, Michel; Mosses, Peter D.
Item prices starting from
View 10 offersUS$ 70.26
