Logo - springer
Slogan - springer

New & Forthcoming Titles | Formal Approaches to Computing and Information Technology (FACIT)

Formal Approaches to Computing and Information Technology (FACIT)

Formal Approaches to Computing and Information Technology (FACIT)

Series Ed.: Schuman, S.A.

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 17 results

  • Constructing Correct Software
    • eBook
      Immediate eBook download after purchase

      39,99 €
      (gross)
    • eBook
      Immediate eBook download after purchase

      39,99 €
      (gross)

    Constructing Correct Software

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Cooke, John 1998, or go to the Latest Edition

    Price from 39,99 €
    Available Formats:
    Information
    39,99 € (gross)
    ISBN 978-1-4471-3985-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.
  • Software Specification Methods
    • eBook
      Immediate eBook download after purchase

      91,62 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      91,62 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)

    Software Specification Methods

    An Overview Using a Case Study

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Frappier, Marc, Habrias, Henri (Eds.) 2001

    Price from 91,62 €
    Available Formats:
    Information
    91,62 € (gross)
    ISBN 978-1-4471-0701-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
    114,39 € (gross)
    ISBN 978-1-85233-353-9
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • On the Refinement Calculus
    • eBook
      Immediate eBook download after purchase

      63,06 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      77,99 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      63,06 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      77,99 €
      (gross)

    On the Refinement Calculus

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Morgan, Carroll, Vickers, Trevor (Eds.) 1992

    Price from 63,06 €
    Available Formats:
    Information
    63,06 € (gross)
    ISBN 978-1-4471-3273-8
    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
    77,99 € (gross)
    ISBN 978-3-540-19931-1
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Formal Object-Oriented Development
    • eBook
      Immediate eBook download after purchase

      71,39 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      90,47 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      71,39 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      90,47 €
      (gross)

    Formal Object-Oriented Development

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Lano, Kevin 1995

    Price from 71,39 €
    Available Formats:
    Information
    71,39 € (gross)
    ISBN 978-1-4471-3073-4
    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
    90,47 € (gross)
    ISBN 978-3-540-19978-6
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Formal Methods and Object Technology
    • eBook
      Immediate eBook download after purchase

      107,09 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      107,09 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      135,19 €
      (gross)

    Formal Methods and Object Technology

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Goldsack, Stephen J., Kent, Stuart J.H. (Eds.) 1996

    Price from 107,09 €
    Available Formats:
    Information
    107,09 € (gross)
    ISBN 978-1-4471-3071-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
    135,19 € (gross)
    ISBN 978-3-540-19977-9
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • The B Language and Method
    • eBook
      Immediate eBook download after purchase

      67,82 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,15 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      67,82 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,15 €
      (gross)

    The B Language and Method

    A Guide to Practical Formal Development

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Lano, Kevin 1996

    Price from 67,82 €
    Available Formats:
    Information
    67,82 € (gross)
    ISBN 978-1-4471-1494-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
    83,15 € (gross)
    ISBN 978-3-540-76033-7
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Proof in VDM: Case Studies
    • eBook
      Immediate eBook download after purchase

      91,62 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      91,62 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)

    Proof in VDM: Case Studies

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Bicarregui, Juan C. (Ed.) 1998

    Price from 91,62 €
    Available Formats:
    Information
    91,62 € (gross)
    ISBN 978-1-4471-1532-8
    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
    114,39 € (gross)
    ISBN 978-3-540-76186-0
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Formal Methods in Human-Computer Interaction
    • eBook
      Immediate eBook download after purchase

      67,82 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,15 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      67,82 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,15 €
      (gross)

    Formal Methods in Human-Computer Interaction

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Palanque, Philippe, PaternĂ², Fabio (Eds.) 1998

    Price from 67,82 €
    Available Formats:
    Information
    67,82 € (gross)
    ISBN 978-1-4471-3425-1
    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
    83,15 € (gross)
    ISBN 978-3-540-76158-7
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Notations for Software Design
    • eBook
      Immediate eBook download after purchase

      67,82 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,15 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      67,82 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,15 €
      (gross)

    Notations for Software Design

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Feijs, Loe M.G., Jonkers, Hans B.M., Middelburg, Cornelis A. 1994

    Price from 67,82 €
    Available Formats:
    Information
    67,82 € (gross)
    ISBN 978-1-4471-2107-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
    83,15 € (gross)
    ISBN 978-3-540-19902-1
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • A Theory and Practice of Program Development
    • eBook
      Immediate eBook download after purchase

      67,82 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,15 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      67,82 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,15 €
      (gross)

    A Theory and Practice of Program Development

    Series: Formal Approaches to Computing and Information Technology (FACIT)

    Andrews, Derek J. 1997

    Price from 67,82 €
    Available Formats:
    Information
    67,82 € (gross)
    ISBN 978-1-4471-0987-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
    83,15 € (gross)
    ISBN 978-3-540-76162-4
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


10 of 17