Tools and Algorithms for the Construction and Analysis of Systems (English, Bernhard Steffen)
Springer

Tools and Algorithms for the Construction and Analysis of Systems (English, Bernhard Steffen)

5,617

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139783540643562
ISBN-103540643567

Product Description

About the Book

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. The volume is devoted to conceptual foundations, development, and applications of tools and algorithm…

ISBN: 9783540643562

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 is available at ₹5,617 on BookShops.in.
Does BookShops.in offer free delivery for Tools and Algorithms for the Construction and Analysis of Systems?
FREE delivery on all orders for Tools and Algorithms for the Construction and Analysis of Systems.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Tools and Algorithms for the Construction and Analysis of Systems?
BookShops.in offers a 15-day hassle-free return policy for Tools and Algorithms for the Construction and Analysis of Systems. Contact us at support@bookshops.in or call +91 81899 68108.
Is Tools and Algorithms for the Construction and Analysis of Systems authentic?
Tools and Algorithms for the Construction and Analysis of Systems is listed on BookShops.in after verification of product details including ISBN, title, and availability information.