Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (4)
Age Range
All Ranges
15+ (1)
Country
All Countries
Germany (2)
Switzerland (2)
    Results for "Springer VS Education"
    Springer VS Education
    4 results
    Sold By
    All Sellers
    Fishpond (4)
    Age Range
    All Ranges
    15+ (1)
    Country
    All Countries
    Germany (2)
    Switzerland (2)
      4 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      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
      HK$685
      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
      HK$499
      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
      HK$489
      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
      HK$660