Automated Theorem Proving in Software Engineering

Preis

93,08 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Auflage
1st Edition. Softcover version of original hardcover edition 2001
Autor
Schumann
ISBN
9783642087592
Jahr
2010
Medium
Buch
Seitenzahl
xiv, 228 S.
Bindungsart
Softcover

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