Principles of Model Checking
par Christel Baier, Bair, Christel; Kato, Joost-Pieter Katoen, Kim Guldstrand Larsen
Crédits & contributions
EAN
- Parution25 avril 2008
Prix TTC
139,40€
Indisponible
Aucun résumé n'est disponible pour le moment.
par Christel Baier, Bair, Christel; Kato, Joost-Pieter Katoen, Kim Guldstrand Larsen
Crédits & contributions
Prix TTC
Aucun résumé n'est disponible pour le moment.