Das Buch ist derzeit nicht auf Lager

Verification, model checking, and abstract interpretation

Autoren

Neil D. Jones

Parameter

ISBN: 9783540938996
Verlag: Springer

Kategorien

Deine Änderungsvorschläge

Buchvariante

2009, paperback

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.