Tools and Algorithms for the Construction and Analysis of Systems (English, Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen)
by Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen
Delivery options
Tools and Algorithms for the Construction and Analysis of Systems by Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen is listed under Programming on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540606307
ISBN-10
3540606300
Author
Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen
About the Book
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The pape…
ISBN: 9783540606307
ISBN-13: 9783540606307
ISBN-10: 3540606300
Reader's Guide
What This Book Covers
- ·The main subject matter of Tools and Algorithms for the Construction and Analysis of Systems
- ·Ideas and detail relevant to Programming
- ·Context that helps make sense of the material as a whole
Best Suited For
Programmers and students learning to build software.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Tools and Algorithms for the Construction and Analysis of Systems?
Tools and Algorithms for the Construction and Analysis of Systems starts from ₹5527 at BookBajar. Available in Paperback.
Who is the author of Tools and Algorithms for the Construction and Analysis of Systems?
Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen is the author of Tools and Algorithms for the Construction and Analysis of Systems. Browse more books by Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen on BookBajar.
Is Tools and Algorithms for the Construction and Analysis of Systems available in Paperback and Hardcover?
Yes, Tools and Algorithms for the Construction and Analysis of Systems is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Tools and Algorithms for the Construction and Analysis of Systems?
Yes, BookBajar offers free delivery for Tools and Algorithms for the Construction and Analysis of Systems across India. No minimum order value required.
Is Cash on Delivery available for Tools and Algorithms for the Construction and Analysis of Systems?
Yes, Cash on Delivery (COD) is available for Tools and Algorithms for the Construction and Analysis of Systems on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Tools and Algorithms for the Construction and Analysis of Systems?
Tools and Algorithms for the Construction and Analysis of Systems can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Tools and Algorithms for the Construction and Analysis of Systems?
Tools and Algorithms for the Construction and Analysis of Systems has ISBN 9783540606307 (ISBN-10: 3540606300). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Tools and Algorithms for the Construction and Analysis of Systems?
About the Book This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995.
Product ID: isbn-9783540606307
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637