| EAN: | 9783815423127 |
|---|---|
| Sachgruppe: | Informatik, EDV |
| Sprache: | Deutsch |
| Seitenzahl: | 140 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 01.05.1998 |
| Untertitel: | Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen |
| Schlagworte: | Lineare Programmierung Petri-Netz Verifikation - verifizieren |
44,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
be ziehen sich viele Veröffentlichungen auf eingeschränkte Netzklassen.