* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen is written by Carsten Gremzow and published by Univerlagtuberlin. It's available with International Standard Book Number or ISBN identification 3798321183 (ISBN 10) and 9783798321182 (ISBN 13).