Das Buch ist derzeit nicht auf Lager

Verification, model checking, and abstract interpretation

Autoren

Bernhard Steffen

Parameter

ISBN: 9783540208037
Verlag: Springer

Kategorien

Deine Änderungsvorschläge

Buchvariante

2004, paperback

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.