Gå direkte til innholdet
Petri-Netz-Methoden und -Werkzeuge
Spar

Petri-Netz-Methoden und -Werkzeuge

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet.
Undertittel
Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
ISBN
9783540506423
Språk
Tysk
Vekt
310 gram
Utgivelsesdato
14.12.1988
Antall sider
254