Methoden und Beschreibungsmittel für die Programmentwicklung
Von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakte Datentypen
Published in 1991
Book
Paperback/Softback
185 pages
978-3-7719-6446-7 (ISBN)
Unfortunately, price unknown
Article is exhausted; no reprint