Logo - springer
Slogan - springer

New & Forthcoming Titles | Project 1158. ATES

Project 1158. ATES

Project 1158. ATES

Discontinued Series
Although this series no longer publishes new content, the published titles listed below may be still available on-line (e. g. via the Springer Book Archives) and in print.
  • Titles in this series

Books & CD ROMs

Show all 1 results

  • The Programming and Proof System ATES
    • eBook
      Immediate eBook download after purchase

      89,24 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      109,19 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      89,24 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      109,19 €
      (gross)

    The Programming and Proof System ATES

    Advanced Techniques Integration into Efficient Scientific Software

    Subseries: Project 1158. ATES, Vol. 1

    Puccetti, Armand (Ed.) 1991

    Price from 89,24 €
    Available Formats:
    Information
    89,24 € (gross)
    ISBN 978-3-642-84542-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
    109,19 € (gross)
    ISBN 978-3-540-54188-2
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


1 of 1