- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540001997
3540001999
- Maße
-
24 cm
- Umfang
-
IX, 343 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 2549
- Schlagwort
-
Asynchrones Schaltwerk
Entwurfsautomation
Eingebettetes System
Systementwurf
Nebenläufigkeit
Petri-Netz
Entwurfsautomation
Formale Methode
Verifikation
Leistungsbewertung
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
2002
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:32 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Aufsatzsammlung
Beteiligte
- Cortadella, Jordi
- Springer
Entstanden
- 2002
Ähnliche Objekte (12)
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
On synchronicity and concurrency in Petri nets
Petri nets and other models of concurrency : proceedings
Unifying Petri nets : advances in Petri nets
Advances in Petri nets, 1987.
Advances in Petri nets, 1985
Transactions on Petri nets and other models of concurrency, 13
Transactions on Petri nets and other models of concurrency, 7
Transactions on Petri nets and other models of concurrency, 15
Transactions on Petri nets and other models of concurrency, 2
Transactions on Petri nets and other models of concurrency, 16
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
On synchronicity and concurrency in Petri nets
Petri nets and other models of concurrency : proceedings
Unifying Petri nets : advances in Petri nets
Advances in Petri nets, 1987.
Advances in Petri nets, 1985
Transactions on Petri nets and other models of concurrency, 13
Transactions on Petri nets and other models of concurrency, 7
Transactions on Petri nets and other models of concurrency, 15
Transactions on Petri nets and other models of concurrency, 2
Transactions on Petri nets and other models of concurrency, 16
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
On synchronicity and concurrency in Petri nets
Petri nets and other models of concurrency : proceedings
Unifying Petri nets : advances in Petri nets
Advances in Petri nets, 1987.
Advances in Petri nets, 1985
Transactions on Petri nets and other models of concurrency, 13
Transactions on Petri nets and other models of concurrency, 7
Transactions on Petri nets and other models of concurrency, 15
Transactions on Petri nets and other models of concurrency, 2