Go back
Tools And Algorithms For The Construction And Analysis Of Systems 17th International Conference Tacas 2011 Held As Part Of The Joint European Conferences On Theory And Practice Of Software Etaps 2011 Saarbrucken Germany March/April 2011 Proceedings Lncs 6605(1st Edition)
Authors:
Parosh Aziz Abdulla ,K Rustan M Leino
Cover Type:
Condition:
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 10 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $
Savings: $0(