Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen
Brand: Springer
SKU: 9783540643562
Price: 5617.00 INR
Availability: InStock

4th International Conference, Tacas'98, Held as Part of the Joint European Conferen

by Bernhard Steffen

Springer

₹5,617

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
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.

From the publisher

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions.

Description supplied by the publisher.