Titel |
Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen / von Jörg Desel |
|---|---|
Beteiligt |
Jörg Desel (Verfasser) |
Erschienen |
Stuttgart, Leipzig: Teubner |
Umfang |
133 S. : Ill., graph. Darst. |
Hochschulschrift |
Zugl.: Berlin, Humboldt-Univ., Habil.-Schr., 1996 |
ISBN |
978-3-8154-2312-7 |
Themengebiet |
|
Thema |
Petri-Netz, Lineare Algebra, Lineare Optimierung, Transitionssystem |
Reihe |
Teubner-Texte zur Informatik ; Bd. 26 |
Datensatz-ID |
953457834 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: