M. Bidoit
Articoli popolari di M. Bidoit
Visualizza tutte le offerte-
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
Prezzi articolo a partire da
Visualizza 3 offerteEUR 8,82
-
CASL User Manual: Introduction to Using the Common Algebraic Specification Language: 2900
Bidoit, Michel; Mosses, Peter D.
Prezzi articolo a partire da
Visualizza 10 offerteEUR 59,64
