Model Checking Abstract State Machines

Où acheter (1) Caractéristiques

Sponsorisé

Model Checking Abstract State Machines

Fnac FR

157.99 EUR

Prix mis à jour le: 11-10-2026 16:18:04

Voir l'offre

Général

Marque

Vdm Verlag Dr Mueller E K

ISBN

Vdm Verlag Dr Mueller E K 3639018915

Caractéristiques

Produits similaires

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science) - [Version Originale]

Dès74.15 EUR 1

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie

Dès6.64 EUR 1