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

Où acheter (1) Caractéristiques

Sponsorisé

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

ammareal.fr
Produit utilisé

6.64 EUR

Prix mis à jour le: 20-03-2026 21:06:48

Voir l'offre

Général

Marque

Springer

Caractéristiques

Produits similaires

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Dès216.86 EUR 1

Software Engineering: Proceedings of CSI 2015 (Advances in Intelligent Systems and Computing)

Software Engineering: Proceedings of CSI 2015 (Advances in Intelligent Systems and Computing) - [Version Originale]

Dès113.44 EUR 1

Design Science Methodology for Information Systems and Software Engineering

Design Science Methodology for Information Systems and Software Engineering - [Version Originale]

Dès80.33 EUR 1

Object-oriented metrics in practice

Object-oriented metrics in practice

Dès69.54 EUR 1

Object-oriented metrics in practice

Object-oriented metrics in practice

Dès82.24 EUR 1

Software Tools and Algorithms for Biological Systems

Software Tools and Algorithms for Biological Systems - Hamid Arabnia et Quoc-Nam Professor Tran

Dès6.17 EUR 1