Petrinetze, lineare Algebra und lineare Programmierung
Subtitle: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Series: TEUBNER-TEXTE zur Informatik -- 26,
Publisher: Vieweg+Teubner Verlag
Published: 1998
Place of publication: Wiesbaden
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783322953827
Subjects: Lineare Optimierung; Petri-Netz; Lineare Algebra; Transitionssystem
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA