All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
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
Springer-Verlag
Filter Results
Showing 8 Results in All Departments
Relevance
SAVE
R
87
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,446
Add to Cart
Ships in 9 - 15 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,232
Add to Cart
Ships in 10 - 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,770
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,079
Add to Cart
Ships in 10 - 15 working days
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
R
2,435
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,557
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,557
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,557
Add to Cart
Ships in 10 - 15 working days