Verification, Model Checking, and Abstract Interpretation. 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings
Par : Neil D. Jones, Markus Müller-OlmPaiement en ligne :
- Livraison à domicile ou en point Mondial Relay indisponible
- Retrait Click and Collect en magasin gratuit
- PrésentationBroché
- Poids0.61 kg
- ISBN978-3-540-93899-6
- EAN9783540938996
- Date de parution01/07/2014
- Collectionlecture notes computer science
- ÉditeurSpringer
