UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist
gegebenenfalls
nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Ergebnis 1 von 3
Datensatz exportieren als...
BibTeX
Petri-Netze [Elektronische Ressource]
eXamen.press
Priese, Lutz
Wimmel, Harro
2. Auflage, 2008
Details
Autor(en) / Beteiligte
Priese, Lutz
Wimmel, Harro
Titel
Petri-Netze [Elektronische Ressource]
Ist Teil von
eXamen.press
Auflage
2. Auflage
Ort / Verlag
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
Erscheinungsjahr
2008
Link zum Volltext
Springer Technik, Informatik 2008 (ZDB-2-STI)
Sprache
–
Identifikatoren
ISBN: 9783540769712
DOI: 10.1007/978-3-540-76971-2
OCLC-Nummer: 456085895, 456085895
Titel-ID: 990166492180206441
Format
–
Schlagworte
Petri-Netz
,
Nebenläufigkeit
,
Formale Sprache
,
Interleaving
,
Berechenbarkeit
,
Erreichbarkeit
,
Entscheidbarkeit
,
Combinatorics
,
Computer science
,
Computer software
,
Logic, Symbolic and mathematical