Verification, Model Checking, and Abstract Interpretation

Par : Ranjit Jhala

Formats :

Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin

PrésentationBroché
Poids0.65 kg
ISBN978-3-642-18274-7
EAN9783642182747
Date de parution01/01/2011
ÉditeurSpringer

A propos de Ranjit Jhala

Découvrir l'auteur

Compiler Construction

Compiler Construction. 22nd International Conference, CC 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 Rome, Italy, March 2013, Proceedings

Ranjit Jhala, Koen De Bosschere

47,80 €