Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen / M. Leszak ; H. Eggert

Von:

Leszak, Marek [aut]

Mitwirkende(r):

Eggert, H, 1940- [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Informatik-Fachberichte ; 197Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo : Springer, 1989Beschreibung: XII, 254 S. : graph. DarstISBN:

354050642X
038750642X

Schlagwörter:

Petri-Netz
Softwarespezifikation
Softwarewerkzeug
Software Engineering
CAD
System design
Computer software
Petri nets

DDC-Klassifikation:

004.2/1 20

MSC: MSC: *68-02 | 68N99 | 68Q85RVK: RVK: ST 130 | ST 132LOC-Klassifikation:

QA76.9.S88

Call number: Grundsignatur: 88 A 4727PPN: PPN: 024138622

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	88 A 4727	Verfügbar	46008417090

Anzahl Vormerkungen: 0