Logo - springer
Slogan - springer

- Search - Results | Search results | Springer

Books & CD ROMs

Show all 97 results
  • Verification, Induction, Termination Analysis
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Softcover
      Online orders shipping within 2-3 days.

      $89.99
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Softcover
      Online orders shipping within 2-3 days.

      $89.99
      (net)

    Verification, Induction, Termination Analysis

    Festschrift for Christoph Walther on the Occasion of His 60th Birthday

    Series: Lecture Notes in Computer Science, Vol. 6463

    Subseries: Lecture Notes in Artificial Intelligence

    Siegler, Simon, Wasser, Nathan (Eds.) 2010

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-3-642-17172-7
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $89.99 (net)
    ISBN 978-3-642-17171-0
    Online orders shipping within 2-3 days.
    Softcover
    Softcover (also known as softback) version
  • ModelEd, TestEd, TrustEd
    • eBook
      Immediate eBook download after purchase

      Softcover
      Usually dispatched within 3 to 5 business days.

      $95.00
      (net)
      All
    • Softcover
      Usually dispatched within 3 to 5 business days.

      $95.00
      (net)

    ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

    Series: Lecture Notes in Computer Science, Vol. 10500

    Subseries: Programming and Software Engineering

    Katoen, Joost-Pieter, Langerak, Rom, Rensink, Arend (Eds.) 2017

    Price from $95.00
    Available Formats:
    Information
    ISBN 978-3-319-68270-9
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $95.00 (net)
    ISBN 978-3-319-68269-3
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Fields of Logic and Computation II
    • eBook
      Immediate eBook download after purchase

      $64.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $84.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $64.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $84.00
      (net)

    Fields of Logic and Computation II

    Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

    Series: Lecture Notes in Computer Science, Vol. 9300

    Subseries: Programming and Software Engineering

    Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W. (Eds.) 2015

    Price from $64.99
    Available Formats:
    Information
    $64.99 (net)
    ISBN 978-3-319-23534-9
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $84.00 (net)
    ISBN 978-3-319-23533-2
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Concurrency, Security, and Puzzles
    • eBook
      Immediate eBook download after purchase

      $64.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $84.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $64.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $84.00
      (net)

    Concurrency, Security, and Puzzles

    Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

    Series: Lecture Notes in Computer Science, Vol. 10160

    Subseries: Programming and Software Engineering

    Gibson-Robinson, Thomas, Hopcroft, Philippa, Lazić, Ranko (Eds.) 2017

    Price from $64.99
    Available Formats:
    Information
    $64.99 (net)
    ISBN 978-3-319-51046-0
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $84.00 (net)
    ISBN 978-3-319-51045-3
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • The Beauty of Functional Code
    • eBook
      Immediate eBook download after purchase

      $54.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $72.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $54.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $72.00
      (net)

    The Beauty of Functional Code

    Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

    Series: Lecture Notes in Computer Science, Vol. 8106

    Subseries: Programming and Software Engineering

    Achten, Peter, Koopman, Pieter (Eds.) 2013

    Price from $54.99
    Available Formats:
    Information
    $54.99 (net)
    ISBN 978-3-642-40355-2
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $72.00 (net)
    ISBN 978-3-642-40354-5
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


 
top


 
top

Recent Searches

 

Your recent searches 

Tips for advanced searching 

The search function is not case sensitive. A query "zuse" or "Zuse" produces the same result.


The query searches for complete words.


The "*" is used for wildcards. A query for "Medic*" lists all matches on words starting with "Medic".


The ISBN may be entered with or without the "-".


Authors names are listed by "Last name, F." in the database.


Feedback

 

I was able to find what I was searching for: