All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer International Publishing AG
Springer Nature Switzerland AG
Filter Results
Showing 6 of 6 Results in All Departments
Relevance
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
R
2,069
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Paperback, 1st ed. 2016)
R
2,404
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Paperback, 2015 ed.)
R
2,354
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Paperback, 1st ed. 2016)
R
3,209
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Paperback, 2014 ed.)
R
2,478
Add to Cart
Ships in 10 - 15 working days