search for books and compare prices
Horst Eggert has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Petri-netz-methoden Und -werkzeuge: Hilfsmittel Zur Entwurfsspezifikation Und Validation Von Rechensystemen
cover image for 9783540506423
Product Description: Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollständigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, bzw...read more
By Horst Eggert
See complete details on each edition (1 edition listed)

Paperback:

9783540506423 | Springer-Verlag New York Inc, December 14, 1988, cover price $69.99 | About this edition: Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet.

displaying 1 to 1 | at end