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

Object-oriented metrics in practice

Object-oriented metrics in practice

82.24 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
The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software

The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software - Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont, O. Pirotte, A. Pucetti, J. Raguideau, A. Remouchamps et E. Ten Cate

6.64 EUR
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

191.65 EUR
Design Science Methodology for Information Systems and Software Engineering

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

66.27 EUR
Algebra, Geometry and Software Systems

Algebra, Geometry and Software Systems - Nobuki Takayama et Michael Joswig

6.17 EUR
System Software and Software Systems

System Software and Software Systems

6.17 EUR