Beispielbild für diese ISBNFormal Methods and Software Engineering - 15th International Conference on Formal EngineeringMetho…
Verlag: Springer
2013 Kartoniert, 484 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Fast-track-conference proceedings of ICFEM 2013
60,88 EUR
Beispielbild für diese ISBNFormal Methods and Software Engineering - 14th International Conference on Formal Engineering Meth…
Verlag: Springer
2012 Kartoniert, 528 Seiten, 235mm x 155mm x 29mm, Sprache(n): eng Fast-track conference proceedingsState-of-the-art researchUp-to-date results
60,88 EUR
Beispielbild für diese ISBNApplication and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2…
Verlag: Springer
2014 Kartoniert, 412 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNBehavioural Models - From Modelling Finite Automata to Analysing Business Processes
von Matthias Kunze, Mathias Weske Verlag: Springer
2018 Kartoniert, 292 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Presents a wide spectrum of modelling techniques to capture and analyse the behaviour of discrete dynamic systems Delivers an easily accessible, yet formally grounded overview of behavioural modelling techniques and their analys…
59,91 EUR
Beispielbild für diese ISBNA Decade of Concurrency: Reflections and Perspectives - Reflections and Perspectives. REX School/S…
Verlag: Springer
1994 Kartoniert, 700 Seiten, 235mm x 155mm x 38mm, Sprache(n): eng
121,78 EUR
Beispielbild für diese ISBNColoured Petri Nets - Modelling and Validation of Concurrent Systems
von Kurt Jensen, Lars M. Kristensen Verlag: Springer
2014 Kartoniert, 396 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
71,89 EUR
Beispielbild für diese ISBNApplication and Theory of Petri Nets 1999 - 20th International Conference, ICATPN'99, Williamsburg…
Verlag: Springer
1999 Kartoniert, 440 Seiten, 235mm x 155mm x 24mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNCoordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014,…
Verlag: Springer
2014 Kartoniert, 212 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNColoured Petri Nets - Modelling and Validation of Concurrent Systems
von Kurt Jensen, Lars M. Kristensen Verlag: Springer
2009 Gebunden, 396 Seiten, 241mm x 160mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
95,86 EUR
Beispielbild für diese ISBNConstructive Methods in Computing Science - International Summer School directed by F.L. Bauer, M.…
Verlag: Springer
2011 Kartoniert, 492 Seiten, 242mm x 170mm x 27mm, Sprache(n): eng
121,78 EUR
- Stichwörter
- concurrentsystems
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!
