Leszak Books
Petri-Netz-Methoden Und -Werkzeuge: Hilfsmittel Zur Entwurfsspezifikation Und -Validation Von Rechensystemen
By M. Leszak H. Eggert, Horst, Marek, M. Leszak, Eggert, Leszak, M. Leszak, H. Eggert (Auth.)
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet....
Read More