Modeling and Analysis of Communicating Systems

4 valoración promedio
( 1 valoraciones por Goodreads )
 
9780262027717: Modeling and Analysis of Communicating Systems
Reseña del editor:

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.

Biografía del autor:

Jan Friso Groote is Professor of Computer Science at the Eindhoven University of Technology, the Netherlands. Mohammad Reza Mousavi is Professor of Computer Systems Engineering at the Center for Research on Embedded Systems at Halmstad University, Sweden.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

Edición internacional
Edición internacional

1.

Groote J.F.
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Tapa blanda Cantidad: 3
Edición internacional
Librería
bookscollection
(Delhi, DELHI, India)
Valoración
[?]

Descripción Estado de conservación: 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 ref. de la librería ABESEPNW431

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 18,46
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,60
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

2.

Groote J.F.
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Tapa blanda Cantidad: 3
Edición internacional
Librería
bookscollection
(Delhi, DELHI, India)
Valoración
[?]

Descripción Estado de conservación: 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 ref. de la librería ABEDUPPP9189

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 18,46
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,60
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

3.

Jan Friso Groote, Mohammad Reza Mousavi
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Paperback Primera edición Cantidad: 2
Edición internacional
Librería
ZerichSpace
(antioch, CA, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: New. New. Softcover book, 1st Edition. (Read Description Before Buying), This is an international Edition. Black and White Book. ISBN or covers May Be Different From US Edition. Book may have Restricted Sales Disclaimer Wordings printed on cover. Books May Be Shipped From Overseas as per stock status. Nº de ref. de la librería 761337

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 23,90
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,55
A Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

4.

Jan Friso Groote, Mohammad Reza Mousavi
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Paperback Cantidad: 5
Edición internacional
Librería
PRIORITY BOOKS
(springfield, VA, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: New. Softcover Book, Condition: New. 1st Edition. [Please Read Carefully Before Buying], This Is An International Edition. Printed In Black and White. 392 Pages, Book Cover And ISBN No May Be Different From US Edition. Restricted Sales Disclaimer Wordings Not For Sales In USA And Canada May Be Printed On The Cover Of The Book. Standard Shipping 7-14 Business Days. Expedited Shiping 4-8 Business Days. ***WE DO NOT ENTERTAIN BULK ORDERS.*** The Books May Be Ship From Overseas For Inventory Purpose. Nº de ref. de la librería 677608

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 23,93
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,55
A Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

5.

Jan Friso Groote, Mohammad Reza Mousavi
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Paperback Cantidad: 2
Edición internacional
Librería
Nick Book House
(fresno, CA, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: 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 ref. de la librería 39598

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 23,95
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,55
A Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

6.

Groote, Jan Friso, Mousavi, Mohammad Reza
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Tapa blanda Cantidad: 5
Edición internacional
Librería
Romtrade Corp.
(STERLING HEIGHTS, MI, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Brand New Paperback International Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Nº de ref. de la librería AUSBNEW-65056

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 27,61
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Jan F. Groote; Mohammad Reza Mousavi
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Cantidad: > 20
Librería
GreatBookPrices
(Columbia, MD, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Nº de ref. de la librería 21306707-n

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 46,18
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,35
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Mousavi, Mohammad Reza
Editorial: MIT Press
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Cantidad: > 20
Librería
INDOO
(Avenel, NJ, Estados Unidos de America)
Valoración
[?]

Descripción MIT Press. Estado de conservación: New. Brand New. Nº de ref. de la librería 0262027712

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 49,17
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,12
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Groote, Jan Friso
Editorial: Mit Pr (2014)
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Cantidad: > 20
Librería
Paperbackshop-US
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Mit Pr, 2014. HRD. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería TM-9780262027717

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 49,94
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,55
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Jan F. Groote, Mohammad Reza Mousavi
Editorial: MIT Press Ltd, United States (2014)
ISBN 10: 0262027712 ISBN 13: 9780262027717
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2014. Hardback. Estado de conservación: 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 ref. de la librería AAH9780262027717

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 54,01
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda