Nous avons trouvé 5 résultats
indigoLivresorna grumberg

Votre Magasin:

Trier Par:

Trié Par: Pertinence
Filtré Par:
Books
1 - 5 des 5 résultats
Pertinence
Model Checking, Second Edition
Couverture rigide | Anglais

|4 décembre 2018

97,70 $ en ligne

99,00 $prix courant

Expédié en 1 à 2 semaines

Non disponible en magasin

Languages: From Formal To Natural: Essays Dedicated To Nissim Francez On The Occasion Of His 65th…
Couverture souple | Anglais

|12 mai 2009

85,13 $ en ligne

120,95 $prix courant

rabais 29 %

En stock en ligne

Non disponible en magasin

25 Years of Model Checking: History, Achievements, Perspectives

En stock en ligne

Non disponible en magasin

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference…
Couverture souple | Anglais

|9 mars 2007

168,34 $ en ligne

254,50 $prix courant

rabais 33 %

En stock en ligne

Non disponible en magasin

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997…

En stock en ligne

Non disponible en magasin