Computer Aided Verification
Ed Brinksma, Kim G. Larsen
₹4,400
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop
by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen
Springer · 1995 · Paperback
₹5,527
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop is written by Ed Brinksma, W. Rance Cleaveland & others. This paperback edition from Springer (1995) has 289 pages. The book is part of the Lecture notes in computer science series.
Its main subjects are Congresses, Development, Distributed processing and System design.
Book details
- ISBN-13
- 9783540606307
- ISBN-10
- 3540606300
- Authors
- Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen
- Publisher
- Springer
- Published
- 1995
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 289
- Language
- English
- Condition
- New
- Subject
- Distributed processing
More by Ed Brinksma and related titles
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
₹5,598
Workshop Proceedings
International Federation of Automatic Control
₹2,663
Kommunikation in Verteilten Systemen
Ralf Steinmetz
₹3,873
Object-Based Parallel and Distributed Computation
Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
₹5,559
Distributed Computing
Jennifer L. Welch
₹5,552
Principles and Applications of Distributed Event-Based Systems
Annika M. Hinze, Alejandro Buchmann
₹4,992
Scientific Engineering of Distributed Java Applications
Nicoals Guelfi, Egidio Astesiano, Gianna Reggio
₹5,518
A Programmer's Guide to Jini Technology
Jan Newmarch
₹1,869
Git Recipes
Wlodzimierz Gajda
₹3,324
Stepwise Refinement of Distributed Systems
Jaco W. De Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
₹5,218
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011
Roger Lee
₹4,376