Vai al contenuto principale della pagina

Entscheidbarkeit bei Petri Netzen [electronic resource] : Überblick und Kompendium / by Harro Wimmel



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Wimmel, Harro Visualizza persona
Titolo: Entscheidbarkeit bei Petri Netzen [electronic resource] : Überblick und Kompendium / by Harro Wimmel
Link to work: Entscheidbarkeit bei Petri Netzen Visualizza cluster
Pubblicazione: Berlin, Heidelberg : Springer-Verlag, 2008
Index term-Uncontrolled: Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Mathematics of Computing
Software Engineering
Soggetto non controllato: Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Mathematics of Computing
Software Engineering
Termine d'indicizzazione-Occupazione: Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Mathematics of Computing
Software Engineering
Accesso ente: SpringerLink (Online service)
Collana: eXamen.press, 1614-5216
ISBN: 9783540854715
Formato: Software
Livello bibliografico Monografia
Lingua di pubblicazione: Tedesco
Record Nr.: 7477335
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-3-540-85471-5
Lo trovi qui: University of Chicago
Item: Permalink to OPAC
Fa parte di: Springer eBooks