Gå direkt till innehållet
Petri-Netz-Methoden und -Werkzeuge
Spara

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.
Undertitel
Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
ISBN
9783540506423
Språk
Tyska
Vikt
310 gram
Utgivningsdatum
1988-12-14
Sidor
254