More Books:

A Survey of Verification Techniques for Parallel Programs
Language: en
Pages: 114
Authors: Howard Barringer
Categories: Computers
Type: BOOK - Published: 1985 - Publisher: Springer Verlag

Books about A Survey of Verification Techniques for Parallel Programs
Temporal Verification of Reactive Systems
Language: en
Pages: 512
Authors: Zohar Manna, Amir Pnueli
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered
Abstract State Machines, Alloy, B and Z
Language: en
Pages: 416
Authors: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Categories: Computers
Type: BOOK - Published: 2010-02-20 - Publisher: Springer

This book constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. The 26 full papers presented were carefully reviewed and selected from 60 submissions. The book also contains two invited talks and abstracts of
Current Trends in Concurrency
Language: en
Pages: 716
Authors: Jacobus W. De Bakker, Willem Paul Roever (Jr.), Grzegorz Rozenberg
Categories: Computers
Type: BOOK - Published: 1986-06 - Publisher: Springer Science & Business Media

Books about Current Trends in Concurrency
Distributed Systems
Language: en
Pages: 390
Authors: Albert Fleischmann
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

The purpose of this book is to make the reader famliar with software engineering for distributed systems. Software engineering is a valuable discipline in the develop ment of software. The reader has surely heard of software systems completed months or years later than scheduled with huge cost overruns, systems which