Verification, Model Checking, and Abstract Interpretation

Preis

80,24 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Jones / Müller-Olm
ISBN
9783540938996
Jahr
2008
Medium
Buch
Seitenzahl
xi, 381 S.
Bindungsart
Softcover

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