Siirry suoraan sisältöön
Petri-Netz-Methoden und -Werkzeuge
Tallenna

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.
Alaotsikko
Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
ISBN
9783540506423
Kieli
saksa
Paino
310 grammaa
Julkaisupäivä
14.12.1988
Sivumäärä
254