Go back

Tools And Algorithms For The Construction And Analysis Of Systems First International Workshop TACAS 95 Aarhus Denmark May 19 20 1995(1995 Edition)

Authors:

Ed Brinksma ,W. Rance Cleaveland ,Kim G. Larsen ,Tiziana Margaria ,Bernhard Steffen

Free tools and algorithms for the construction and analysis of systems first international workshop tacas 95
5 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $41.00 Savings: $41(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Tools And Algorithms For The Construction And Analysis Of Systems First International Workshop TACAS 95 Aarhus Denmark May 19 20 1995

Price:

$9.99

/month

Book details

ISBN: 3540606300, 978-3540606307

Book publisher: Springer