Deliverability
Language version
Up-to-dateness
Topic
Product form
Authors
maximum price
CHF

Search result (concurrentsystems)

Wolfgang Schreiner - Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Wolfgang Schreiner Thinking Programs English 24.10.2022 Paperback / Softback CHF 96.00 1-2 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles English 27.12.2020 Paperback / Softback CHF 116.00 4-7 working days
Kumar Singh, Kumar Singh, Klaus-Diete Schewe, Klaus-Dieter Schewe, Neeraj Kumar Singh - Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings
Kumar Singh, Kumar Singh, Klaus-Diete Schewe, Klaus-Dieter Schewe, Neeraj Kumar Singh Model and Data Engineering English 01.01.2019 Paperback / Softback CHF 69.00 4-7 working days
Márcio Cornélio, Bill Roscoe - Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Márcio Cornélio, Bill Roscoe Formal Methods: Foundations and Applications English 03.02.2016 Paperback / Softback CHF 55.90 4-7 working days
eva Kühn, Rosario Pugliese - Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
eva Kühn, Rosario Pugliese Coordination Models and Languages English 24.07.2014 Paperback / Softback CHF 69.00 4-7 working days
Klaus Havelund, Joh Penix, John Penix, Willem Visser - SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Klaus Havelund, Joh Penix, John Penix, Willem Visser SPIN Model Checking and Software Verification English 01.07.2009 Paperback / Softback CHF 69.00 4-7 working days
Mogen Nielsen, Mogens Nielsen, Simpson, Simpson, Dan Simpson - Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
Mogen Nielsen, Mogens Nielsen, Simpson, Simpson, Dan Simpson Application and Theory of Petri Nets 2000 English 19.02.2009 Paperback / Softback CHF 69.00 4-7 working days
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna - Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna Rigorous Development of Complex Fault-Tolerant Systems English 27.11.2006 Paperback / Softback CHF 69.00 4-7 working days
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders - Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders Communicating Sequential Processes. The First 25 Years English 03.05.2005 Paperback / Softback CHF 69.00 4-7 working days
Jean-Marie Jacquet, Gian Pietro Picco - Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
Jean-Marie Jacquet, Gian Pietro Picco Coordination Models and Languages English 05.04.2005 Paperback / Softback CHF 69.00 4-7 working days
J. E. Cuny, Janice Cuny, H. Ehrig, Hartmu Ehrig, Hartmut Ehrig, … - Graph Grammars and Their Application to Computer Science 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994. Proceedings
J. E. Cuny, Janice Cuny, H. Ehrig, Hartmu Ehrig, Hartmut Ehrig, … Graph Grammars and Their Application to Computer Science English 13.12.2003 Paperback / Softback CHF 134.00 4-7 working days
Agostino Cortesi - Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Agostino Cortesi Verification, Model Checking, and Abstract Interpretation English 24.04.2002 Paperback / Softback CHF 69.00 4-7 working days
Matthew Dwyer - Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
Matthew Dwyer Model Checking Software English 02.05.2001 Paperback / Softback CHF 69.00 4-7 working days
Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi - Advances in Exception Handling Techniques
Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi Advances in Exception Handling Techniques English 04.04.2001 Paperback / Softback CHF 69.00 4-7 working days
Hartmut Ehrig, Grego Engels, Gregor Engels, Hans-Jörg Kreowski, Hans-Jörg Kreowski et al, … - Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
Hartmut Ehrig, Grego Engels, Gregor Engels, Hans-Jörg Kreowski, Hans-Jörg Kreowski et al, … Theory and Application of Graph Transformations English 01.01.2000 Paperback / Softback CHF 69.00 4-7 working days
Grzegor Rozenberg, Grzegorz Rozenberg - Advances in Petri Nets 1989
Grzegor Rozenberg, Grzegorz Rozenberg Advances in Petri Nets 1989 English 01.01.1960 Paperback / Softback CHF 69.00 4-7 working days
Walter Vogler, Werner Vogler - Modular Construction and Partial Order Semantics of Petri Nets
Walter Vogler, Werner Vogler Modular Construction and Partial Order Semantics of Petri Nets English 01.01.1960 Paperback / Softback CHF 69.00 4-7 working days
Gregor von Bochmann, K Probst, K Probst, David K. Probst, Grego von Bochmann, … - Computer Aided Verification Fourth International Workshop CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Gregor von Bochmann, K Probst, K Probst, David K. Probst, Grego von Bochmann, … Computer Aided Verification English 01.01.1960 Paperback / Softback CHF 69.00 4-7 working days
J. W. de Bakker, -P de Roever, W -P de Roever, W. -P. de Roever, G Rozenberg, … - A Decade of Concurrency: Reflections and Perspectives Reflections and Perspectives. REX School/Symposium, Nordwijherhout, The Netherlands, June 1-4, 1993, Proceedings
J. W. de Bakker, -P de Roever, W -P de Roever, W. -P. de Roever, G Rozenberg, … A Decade of Concurrency: Reflections and Perspectives English 01.01.1960 Paperback / Softback CHF 134.00 4-7 working days
E. Astesiano, Egidio Astesiano, G. Reggio, Gianna Reggio, A. Tarlecki, … - Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papapers
E. Astesiano, Egidio Astesiano, G. Reggio, Gianna Reggio, A. Tarlecki, … Recent Trends in Data Type Specification English 01.01.1960 Paperback / Softback CHF 69.00 4-7 working days