Verification, Model Checking, and Abstract Interpretation

Preis

85,59 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Zuck / Attie / Cortesi / Mukhopadhyay
ISBN
9783540003489
Jahr
2002
Medium
Buch
Seitenzahl
xii, 328 S.
Bindungsart
Softcover

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