This textbook guides students through algebraic specification
and verification of distributed systems, and some of the most
prominent formal verification techniques. The author employs uCRL
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."
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Texts in Theoretical Computer Science. An EATCS Series |
Release date: |
November 2010 |
First published: |
2007 |
Authors: |
Wan Fokkink
|
Dimensions: |
235 x 155 x 8mm (L x W x T) |
Format: |
Paperback
|
Pages: |
154 |
Edition: |
Softcover reprint of hardcover 1st ed. 2007 |
ISBN-13: |
978-3-642-09321-0 |
Categories: |
Books >
Computing & IT >
Computer communications & networking >
General
|
LSN: |
3-642-09321-3 |
Barcode: |
9783642093210 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!