Sortiert nach
Zweite, überarbeitete und erweiterte Auflage
Link zum Volltext
Business Process Management Forum, p.89-104
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, p.65-81
Link zum Volltext
2013
Link zum Volltext
2., uberarb. u. erw. Aufl. 1986. 1. unverand. Nach, 2013
Link zum Volltext
Software and systems modeling, 2015-05, Vol.14 (2), p.669-683
2015
Link zum Volltext
Formal Methods for Open Object-Based Distributed Systems, 2005, p.243-258
2005
Link zum Volltext
Journal of functional programming, 2017-01, Vol.27, Article e22
2017
Link zum Volltext
2006 edition., 2006
Link zum Volltext
Lecture notes in computer science, 2006, p.65-83
2006
Link zum Volltext
Applications and Theory of Petri Nets, p.23-42
Link zum Volltext
Lecture notes in computer science, 2001, p.287-297
2001
Link zum Volltext
Zweite, überarbeitete und erweiterte Auflage., 1986
Link zum Volltext
Computer science (Berlin, Germany), 2018-08, Vol.33 (3-4), p.281-289
2018
Link zum Volltext
Software Engineering and Formal Methods, p.190-195
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Software Engineering
- Petri Nets
- Computer Science, Theory & Methods
- Computer Communication Networks
- Theory Of Computation
- Software Engineering/programming And Operating Systems
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computers
- Exact Sciences And Technology
- Mathematical Logic
- Logic Design
- Program Concepts / Learning To Program
- Computer Networks
- Computer Science, Software Engineering
- Petri-Netz
- Computer Hardware
Kollektion
- Springer Books
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Journals - AutoHoldings
- EZB Electronic Journals Library
- IEEE/IET Electronic Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- Thieme - Connect here FIRST to enable access
- Cambridge Journals Online (DEFF)
- De Gruyter journals
- ACM Digital Library
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
Zeitschrift / Serie