Ergebnisse für: Message sequence charts

Hier findest Du Bücher, die sich mit Message sequence charts beschäftigen.

Buch Cover Compositional Semantics for Message Sequence Charts based on Petri Nets
Compositional Semantics for Message Sequence Charts based on Petri Nets
Olaf Kluge
VVB Laufersweiler Verlag
24.9 € · Paperback
...
Buch Cover Formal Models of Communicating Systems
Formal Models of Communicating Systems
Benedikt Bollig
Springer Berlin
53.49 € · Hardcover
Asynchronous cellular automata Communicating systems Finite automata Finite-state machines Formal methods Graphs Logic Mazurkiewicz traces Message sequence charts Software engineering automata automata theory distributed systems modeling algorithm analysis and problem complexity
...
Buch Cover Transactions on Petri Nets and Other Models of Concurrency I
Transactions on Petri Nets and Other Models of Concurrency I

Springer Berlin
53.49 € · eBook
Hardware agent-oriented colored petri nets message sequence charts model-based design process algebra process language process mining software engineering visualization algorithm analysis and problem complexity
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...
Buch Cover System Analysis and Modeling: Language Profiles
System Analysis and Modeling: Language Profiles

Springer Berlin
53.49 € · eBook
Refactoring System Unified Modeling Language (UML) description languages development languages distributed systems formal specification language profiles message sequence charts modeling network software development process communication languages protocol design real-time real-time system
...
Buch Cover Formal Models of Communicating Systems
Formal Models of Communicating Systems
Benedikt Bollig
Springer Berlin
53.49 € · eBook
Asynchronous cellular automata Communicating systems Finite automata Finite-state machines Formal methods Graphs Logic Mazurkiewicz traces Message sequence charts Software engineering automata automata theory distributed systems modeling algorithm analysis and problem complexity
...
Buch Cover Formal Models of Communicating Systems
Formal Models of Communicating Systems
Benedikt Bollig
Springer Berlin
53.49 € · Paperback
Asynchronous cellular automata Communicating systems Finite automata Finite-state machines Formal methods Graphs Logic Mazurkiewicz traces Message sequence charts Software engineering automata automata theory distributed systems modeling algorithm analysis and problem complexity
...
Buch Cover Transactions on Petri Nets and Other Models of Concurrency I
Transactions on Petri Nets and Other Models of Concurrency I

Springer Berlin
53.49 € · Paperback
Hardware agent-oriented colored petri nets message sequence charts model-based design process algebra process language process mining software engineering visualization algorithm analysis and problem complexity
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...
Buch Cover System Analysis and Modeling: Language Profiles
System Analysis and Modeling: Language Profiles

Springer Berlin
53.49 € · Paperback
Refactoring System Unified Modeling Language (UML) description languages development languages distributed systems formal specification language profiles message sequence charts modeling network software development process communication languages protocol design real-time real-time system
...
Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden