Modeling and Analysis of Communicating Systems

Note moyenne 4
( 1 avis fournis par Goodreads )
 
9780262027717: Modeling and Analysis of Communicating Systems
Afficher les exemplaires de cette édition ISBN
 
 

Autres éditions populaires du même titre

9788120351837: Modeling And Analysis Of Communicating Systems [Paperback] [Jan 01, 2016] GROOTE/MOUSAVI

Edition présentée

ISBN 10 :  8120351835 ISBN 13 :  9788120351837
Couverture souple

Meilleurs résultats de recherche sur AbeBooks

1.

Jan Friso Groote, Mohammad Reza Mousavi
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Paperback Quantité disponible : 2
Edition internationale
Vendeur
Nick Book House
(Fresno, CA, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Paperback. Etat : New. New, Softcover International Edition, Printed in Black and White, Only USPS Media mail Shipping ONLY, Different ISBN, Same Content As US edition, Book Cover may be Different, in English Language. N° de réf. du vendeur 39598

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 27,44
Autre devise

Ajouter au panier

Frais de port : EUR 3,47
Vers Etats-Unis
Destinations, frais et délais

2.

Jan F. Groote, Mohammad Reza Mousavi
Edité par MIT Press Ltd, United States (2014)
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Couverture rigide Quantité disponible : 1
Vendeur
Book Depository International
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre MIT Press Ltd, United States, 2014. Hardback. Etat : New. Language: English . Brand New Book. Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions. N° de réf. du vendeur AAH9780262027717

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 49,83
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

3.

Jan F. Groote, Mohammad Reza Mousavi
Edité par MIT Press Ltd, United States (2014)
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Couverture rigide Quantité disponible : 1
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre MIT Press Ltd, United States, 2014. Hardback. Etat : New. Language: English . Brand New Book. Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions. N° de réf. du vendeur AAH9780262027717

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 50,05
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

4.

Jan F. Groote
Edité par MIT Press (2014)
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Quantité disponible : 9
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre MIT Press, 2014. HRD. Etat : New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. N° de réf. du vendeur WM-9780262027717

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 40,16
Autre devise

Ajouter au panier

Frais de port : EUR 10,03
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

5.

Jan Friso Groote (author), Mohammad Reza Mousavi (author)
Edité par The MIT Press 2014-08-29, Cambridge, Massachusetts (2014)
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Couverture rigide Quantité disponible : 5
Vendeur
Blackwell's
(Oxford, OX, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre The MIT Press 2014-08-29, Cambridge, Massachusetts, 2014. hardback. Etat : New. N° de réf. du vendeur 9780262027717

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 44,12
Autre devise

Ajouter au panier

Frais de port : EUR 6,69
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

6.

Mousavi, Mohammad Reza
Edité par MIT Press
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Quantité disponible : > 20
Vendeur
INDOO
(Avenel, NJ, Etats-Unis)
Evaluation vendeur
[?]

Description du livre MIT Press. Etat : New. Brand New. N° de réf. du vendeur 0262027712

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 48,05
Autre devise

Ajouter au panier

Frais de port : EUR 3,13
Vers Etats-Unis
Destinations, frais et délais

7.

Jan F. Groote
Edité par MIT Press Ltd
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Couverture rigide Quantité disponible : 9
Vendeur
THE SAINT BOOKSTORE
(Southport, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre MIT Press Ltd. Hardback. Etat : New. New copy - Usually dispatched within 2 working days. N° de réf. du vendeur B9780262027717

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 43,81
Autre devise

Ajouter au panier

Frais de port : EUR 7,73
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

8.

Jan Friso Groote; Mohammad Reza Mousavi
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Quantité disponible : 3
Vendeur
Speedy Hen LLC
(Sunrise, FL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Etat : New. Bookseller Inventory # ST0262027712. N° de réf. du vendeur ST0262027712

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 56,83
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

9.

Groote, Jan Friso/ Mousavi, Mohammad Reza
Edité par Mit Pr (2014)
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Couverture rigide Quantité disponible : 2
Vendeur
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Mit Pr, 2014. Hardcover. Etat : Brand New. 376 pages. 10.50x8.50x1.00 inches. In Stock. N° de réf. du vendeur __0262027712

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 55
Autre devise

Ajouter au panier

Frais de port : EUR 8,36
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

10.

Jan Friso Groote; Mohammad Reza Mousavi
Edité par MIT Press (2014)
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf Couverture rigide Quantité disponible : 4
Vendeur
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre MIT Press, 2014. Etat : New. book. N° de réf. du vendeur ria9780262027717_rkm

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 59,19
Autre devise

Ajouter au panier

Frais de port : EUR 4,31
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre