Find your perfect holiday reading
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Lecture Notes in Computer Science 2067 (Paperback)
  • Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Lecture Notes in Computer Science 2067 (Paperback)
zoom

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Lecture Notes in Computer Science 2067 (Paperback)

(editor), (editor), (editor), (editor)
£33.99
Paperback 234 Pages / Published: 24/10/2001
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.
This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540427872
Number of pages: 234
Weight: 750 g
Dimensions: 233 x 155 x 12 mm
Edition: 2001 ed.

You may also be interested in...

Design Patterns
Added to basket
£44.49
Hardback
Designing Data-Intensive Applications
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
REST in Practice
Added to basket
£35.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Agile Product Management with Scrum
Added to basket
Peopleware
Added to basket
£33.49
Paperback
The Art of Unit Testing
Added to basket
Coaching Agile Teams
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback
The Algorithm Design Manual
Added to basket
Exercises in Programming Style
Added to basket
The Clean Coder
Added to basket
£33.49
Paperback

Please sign in to write a review

Your review has been submitted successfully.