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

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]

Design Science Methodology for Information Systems and Software Engineering

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

Object-oriented metrics in practice

Object-oriented metrics in practice

Object-oriented metrics in practice

Object-oriented metrics in practice

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