Verification, Model Checking, and Abstract Interpretation

Preis

96,29 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Auflage
1st Edition.
Autor
Barthe / Hermenegildo
ISBN
9783642113185
Jahr
2010
Medium
Buch
Seitenzahl
x, 397 S.
Bindungsart
Softcover

Für dieses Produkt wurde noch keine Rezension verfasst. Bewerten Sie dieses Produkt jetzt als Erster!