Das Buch ist derzeit nicht auf Lager

Verification of infinite state systems using Presburger arithmetic

Autoren

Tobias Schüle

Parameter

ISBN: 9783899635621
Verlag: Verl. Dr. Hut

Kategorien

Informatik & Programmierung

Deine Änderungsvorschläge

Buchvariante

2007, paperback

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.