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
On special
Brand
Springer International Publishing AG
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 8 of 8 Results in All Departments
Relevance
SAVE
R
601
Formal Methods for Software Engineering - Languages, Methods, Application Domains (Hardcover, 1st ed. 2022)
Markus Roggenbach
,
Antonio Cerone
,
Bernd-Holger Schlingloff
,
Gerardo Schneider
,
Siraj Ahmed Shaikh
List Price
R
1,867
R
1,266
Add to Cart
Ships in 12 - 17 working days
Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
R
2,255
Add to Cart
Ships in 10 - 15 working days
SAVE
R
169
Formal Methods for Software Engineering - Languages, Methods, Application Domains (1st ed. 2022)
Markus Roggenbach
,
Antonio Cerone
,
Bernd-Holger Schlingloff
,
Gerardo Schneider
,
Siraj Ahmed Shaikh
List Price
R
1,533
R
1,364
Add to Cart
Ships in 9 - 15 working days
Algebra and Coalgebra in Computer Science - First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings (Paperback, 2005 ed.)
R
1,794
Add to Cart
Ships in 10 - 15 working days
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday (1st ed. 2023)
R
2,111
Add to Cart
Ships in 10 - 15 working days
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers (Paperback, 1st ed. 2021)
R
1,580
Add to Cart
Ships in 10 - 15 working days
On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain (Paperback, 1st ed. 2020)
Stefan Gruner
,
Apurva Kumar
,
Tom Maibaum
,
Markus Roggenbach
R
1,580
Add to Cart
Ships in 10 - 15 working days