Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Modeling and Verification of Parallel Processes: 4th...
Image d'archives
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)
Edité par
Springer, 2001
ISBN 10 : 3540427872
ISBN 13 : 9783540427872
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur UTD14a-1857
Acheter D'occasion
EUR 13,10
Frais de port :
EUR 6,04
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
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)
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. N° de réf. du vendeur 53S78_34_3540427872
Acheter neuf
EUR 37,28
Frais de port :
EUR 3,67
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Edité par
Springer, 2001
ISBN 10 : 3540427872
ISBN 13 : 9783540427872
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque avec équipements. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur G-315-698
Acheter D'occasion
EUR 28,57
Frais de port :
EUR 22,50
De France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
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) 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Edité par
Springer 13.06.2008., 2008
ISBN 10 : 3540427872
ISBN 13 : 9783540427872
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Auflage: 2001. 244 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 23,4 x 15,5 x 1,5 cm, Taschenbuch. N° de réf. du vendeur 384149
Acheter D'occasion
EUR 27,49
Frais de port :
EUR 24
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
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)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020167278
Acheter neuf
EUR 50,80
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540427872_new
Acheter neuf
EUR 44,67
Frais de port :
EUR 13,63
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540427872
Acheter neuf
EUR 42,36
Frais de port :
EUR 17,62
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Modeling and Verification of Parallel Processes
Edité par
Springer Berlin Heidelberg Okt 2001, 2001
ISBN 10 : 3540427872
ISBN 13 : 9783540427872
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 236 pp. Englisch. N° de réf. du vendeur 9783540427872
Acheter neuf
EUR 45,96
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Modeling and Verification of Parallel Processes
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 236. N° de réf. du vendeur 263071667
Acheter neuf
EUR 82,29
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Modeling and Verification of Parallel Processes
Edité par
Springer Berlin Heidelberg, 2001
ISBN 10 : 3540427872
ISBN 13 : 9783540427872
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. N° de réf. du vendeur 4890074
Acheter neuf
EUR 42,19
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles