Modeling and Analysis of Communicating Systems

Note moyenne 4
( 1 avis fournis par GoodReads )
 
9780262027717: Modeling and Analysis of Communicating Systems

Meilleurs résultats de recherche sur AbeBooks

1.

Jan Friso Groote; Mohammad Reza Mousavi
Edité par The MIT Press
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Couverture rigide Quantité : 5
Vendeur
Bookish
(Erlanger, KY, Etats-Unis)
Evaluation vendeur
[?]

Description du livre The MIT Press. Hardcover. État : New. 0262027712 Brand New Book. Premium International Paperback & Softcover Edition with Same Contents. Fast Delivery. N° de réf. du libraire INDMKT-9788120351837

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 18,13
Autre devise

Ajouter au panier

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

2.

Jan Friso Groote; Mohammad Reza Mousavi
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Couverture souple Quantité : 3
Edition internationale
Vendeur
bookscollection
(Delhi, DELHI, Inde)
Evaluation vendeur
[?]

Description du livre État : Brand New. PAPERBACK,Book Condition New, Brand New, Softcover, International Edition. We Do not Ship APO FPO AND PO BOX. Cover Image & ISBN may be different from US edition but contents as US Edition. Printing in English language.NO CD AND ACCESS CODE. Quick delivery by USPS/UPS/DHL/FEDEX/ARAMEX ,Customer satisfaction guaranteed. We may ship the books from Asian regions for inventory purpose. N° de réf. du libraire ABEDUPPP9189

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 18,29
Autre devise

Ajouter au panier

Frais de port : EUR 3,60
De Inde vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

3.

Jan Friso Groote; Mohammad Reza Mousavi
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Couverture souple Quantité : 3
Edition internationale
Vendeur
bookscollection
(Delhi, DELHI, Inde)
Evaluation vendeur
[?]

Description du livre État : Brand New. PAPERBACK,Book Condition New, Brand New, Softcover, International Edition. We Do not Ship APO FPO AND PO BOX. Cover Image & ISBN may be different from US edition but contents as US Edition. Printing in English language.NO CD AND ACCESS CODE. Quick delivery by USPS/UPS/DHL/FEDEX/ARAMEX ,Customer satisfaction guaranteed. We may ship the books from Asian regions for inventory purpose. N° de réf. du libraire ABESEPNW431

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 18,29
Autre devise

Ajouter au panier

Frais de port : EUR 3,60
De Inde vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

4.

Jan Friso Groote; Mohammad Reza Mousavi
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Quantité : 5
Edition internationale
Vendeur
Bookshub
(Karol Bagh, Inde)
Evaluation vendeur
[?]

Description du livre État : New. New. SoftCover International edition. Different ISBN and Cover image but contents are same as US edition.Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. N° de réf. du libraire ABE-190516-112602

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 24,65
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Inde vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

5.

Jan Friso Groote; Mohammad Reza Mousavi
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Quantité : 5
Edition internationale
Vendeur
EBOOKSTORE2010
(New Delhi, ND, Inde)
Evaluation vendeur
[?]

Description du livre État : Brand New. New. SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Customer Satisfaction guaranteed!!. N° de réf. du libraire SHAK112602

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 24,70
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Inde vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

6.

Jan Friso Groote; Mohammad Reza Mousavi
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Couverture souple Quantité : 5
Edition internationale
Vendeur
Romtrade Corp.
(STERLING HEIGHTS, MI, Etats-Unis)
Evaluation vendeur
[?]

Description du livre État : New. Brand New Paperback International Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. N° de réf. du libraire AUSBNEW-65056

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 26,55
Autre devise

Ajouter au panier

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

7.

Jan Friso Groote; Mohammad Reza Mousavi
Edité par The MIT Press
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Couverture rigide Quantité : 7
Vendeur
Textbooksonweb
(New Delhi, Inde)
Evaluation vendeur
[?]

Description du livre The MIT Press. Hardcover. État : New. 0262027712 --*NOTE NOTE NOTE*-- **FACULTATIVE/ALTERNATE EDITION**, ISBN AND COVER MAY DIFFERENT BUT TITLE,AUTHOR AND EDITION IS SAME. N° de réf. du libraire LAINT9788120351837

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 27,93
Autre devise

Ajouter au panier

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

8.

Jan Friso Groote; Mohammad Reza Mousavi
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Quantité : > 20
Vendeur
GreatBookPrices
(Columbia, MD, Etats-Unis)
Evaluation vendeur
[?]

Description du livre État : New. N° de réf. du libraire 21306707-n

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 42,51
Autre devise

Ajouter au panier

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

9.

Jan Friso Groote; Mohammad Reza Mousavi
Edité par MIT Press Ltd
ISBN 10 : 0262027712 ISBN 13 : 9780262027717
Neuf(s) Couverture rigide Quantité : > 20
Vendeur
THE SAINT BOOKSTORE
(Southport, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre MIT Press Ltd. Hardback. État : new. BRAND NEW, Modeling and Analysis of Communicating Systems, Jan F. Groote, Mohammad Reza Mousavi, 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 libraire B9780262027717

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 42,63
Autre devise

Ajouter au panier

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

10.

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

Description du livre MIT Press Ltd, United States, 2014. Hardback. État : New. 257 x 208 mm. Language: English . Brand New Book. 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 libraire AAH9780262027717

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 50
Autre devise

Ajouter au panier

Frais de port : Gratuit
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