Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard, M | DealShopping France
  1. Page d’accueil
  2. Médias
  3. Livres
  4. 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
  • #
  • #

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

6.64 EUR

Partager:

Produits connexes

Software Tools and Algorithms for Biological Systems

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

6.17 EUR
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

46.94 EUR
Object-oriented metrics in practice

Object-oriented metrics in practice

82.24 EUR
Design Science Methodology for Information Systems and Software Engineering

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

71.54 EUR
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]

92.88 EUR
Object-oriented metrics in practice

Object-oriented metrics in practice

88.93 EUR