Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series). Este artículo no está disponible.
Idioma: inglés
Editorial: Springer, 2007
Serie: Libro 28 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Nuevo
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Vendedor de IberLibro desde 25 de marzo de 2015
Condición: Nuevo
EUR 68,95
Descripción del artículo del vendedor
In English.
N° de ref. del artículo ria9783540739371_new
- Título
- Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
- Autor
- Fokkink, Wan
- Editorial
- Springer
- Año de publicación
- 2007
- Estado
- New
- Encuadernación
- Encuadernación de tapa dura
- Idioma
- inglés
- ISBN 10
- 3540739378
- ISBN 13
- 9783540739371
- Peso del artículo
- 526 gramos
- Serie
- Libro 28 de 45: Texts in Theoretical Computer Science. An EATCS
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.
“Sinopsis” puede pertenecer a otra edición de este título.
Acerca del autor
“Acerca de” puede pertenecer a otra edición de este título.