Principles of Model Checking

Auteur: Baier, Christel (Technische Universitat Dresden)
Editeur: MIT Press Ltd
Sur commande
ISBN / EAN 9780262026499
Auteur Baier, Christel (Technische Universitat Dresden)
Editeur MIT Press Ltd