Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Modeling and Verification of Parallel Processes

Name: Modeling and Verification of Parallel Processes
Brand: Springer, Berlin
SKU: 01563891
Price: 43.95 EUR
Availability: InStock
Author: Franck Cassez
ISBN: 9783540427872

4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Revised Tutorial Lectures

Franck Cassez

Claude Jard

Brigitte Rozoy

Language

English

Book Paperback

Libristo code: 01563891

Publishers Springer, Berlin, November 2000

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant contro... Full description

Libristo code: 01563891

107 b

43.95 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Граф Аверин. Колдун Российской империи (подарочное издание) Виктор Дашкевич

Hardback

36.14 €

When I am Gloomy (English Chinese Simplified Bilingual Children's Book) Kidkiddos Books

Paperback

17.31 €

H.P. Lovecraft. Dagon e altri racconti brevi Sergio Vanello

Hardback

22.52 €

El sinsentido del sintoma Gerardo Arenas

Adobe ePub DRM

11.91 €

Vortragskurs normale physiologie. Band zwei Firuz Shukurov

Paperback

61.68 €

S. XVII SALES TIRAPU

Hardback

17.31 €

Bracelet Agate Crazy Lace Perles rondes 8 mm

binding.

4.70 €

I Love to Tell the Truth (Punjabi English Bilingual Book for Kids - Gurmukhi) Kidkiddos Books

Hardback

25.73 €

Correspondance Litteraire, Philosophique Et Critique Adressee a Un Souverain D'Allemagne...... Denis Diderot

Paperback

30.45 €

Vvedenie v nanofiziku Sergej Jur'evich Davydov

Paperback

46.26 €

Ludwig Achim's von Arnim sammtliche Werke, Band 1, Novellen, Band 1 Achim Arnim

Hardback

147.50 €

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.