0
Close menu
SmartSellTM - The New Way to sell Online
we won't be beaten by anyone
Categories
Books
Music
Movies & TV
Best Sellers
Track My Order
Sign in
Register
Wishlist
Cart
0
GBP
Sign in
Join
Browse
Wishlist
Help
All Products
Books
Computers
Movies
Music
All Products
\n
Books
Computers
Movies
Music
Computers
Warehouse Stock Clearance Sale
Grab a bargain today!
Categories
Books
Best Sellers
Coming Soon
New Releases
Books
Music
Movies & TV
Track My Order
Sign in
Register
Wishlist
0
Cart
GBP
Search
All Products
Books
Computers
Programming
Compilers
Filters
Sold By
Sold By
All Sellers
Fishpond
(4)
Age Range
Age Range
All Ranges
15+
(1)
Country
Country
All Countries
Germany
(2)
Switzerland
(2)
Results for "Springer VS Education"
Springer VS Education
4 results
Filters
Sold By
Sold By
All Sellers
Fishpond
(4)
Age Range
Age Range
All Ranges
15+
(1)
Country
Country
All Countries
Germany
(2)
Switzerland
(2)
4 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
Leveraging Applications of Formal Methods, Verification and Validation (10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings (Lecture Notes in Computer Science) (Theoret ..)
By
Tiziana Margaria
,
Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation (10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings (Lecture Notes in Computer Science) (Theoret ..)
By
Tiziana Margaria
,
Bernhard Steffen
£61.46
Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings (Lecture Notes in Computer Science))
By
Laszlo Boszormenyi
,
Peter Schojer
Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings (Lecture Notes in Computer Science))
By
Laszlo Boszormenyi
,
Peter Schojer
£46.10
Types for Proofs and Programs (International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Marino Miculan
,
Ivan Scagnetto
,
Furio Honsell
Types for Proofs and Programs (International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Marino Miculan
,
Ivan Scagnetto
,
Furio Honsell
£46.19
Software Engineering for Resilient Systems (8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Ivica Crnkovic
,
Elena Troubitsyna
Software Engineering for Resilient Systems (8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Ivica Crnkovic
,
Elena Troubitsyna
£46.84
We use essential and some optional cookies to provide you the best shopping experience. Visit our
cookies policy page
for more information.
Accept all cookies
Accept only essential cookies