Books & CD ROMs
Show all 17 results-
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:Information39,99 € (gross)
ISBN 978-1-4471-3985-0Immediate eBook download after purchaseeBookThis 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. -
-
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 StudySeries: Formal Approaches to Computing and Information Technology (FACIT)
Frappier, Marc, Habrias, Henri (Eds.) 2001
Price from 91,62 €Available Formats:Information91,62 € (gross)
ISBN 978-1-4471-0701-9Immediate eBook download after purchaseeBookThis 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.Information114,39 € (gross)
ISBN 978-1-85233-353-9Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
-
-
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:Information63,06 € (gross)
ISBN 978-1-4471-3273-8Immediate eBook download after purchaseeBookThis 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.Information77,99 € (gross)
ISBN 978-3-540-19931-1Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
-
-
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:Information107,09 € (gross)
ISBN 978-1-4471-3071-0Immediate eBook download after purchaseeBookThis 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.Information135,19 € (gross)
ISBN 978-3-540-19977-9Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
-
-
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 DevelopmentSeries: Formal Approaches to Computing and Information Technology (FACIT)
Lano, Kevin 1996
Price from 67,82 €Available Formats:Information67,82 € (gross)
ISBN 978-1-4471-1494-9Immediate eBook download after purchaseeBookThis 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.Information83,15 € (gross)
ISBN 978-3-540-76033-7Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
-
-
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:Information91,62 € (gross)
ISBN 978-1-4471-1532-8Immediate eBook download after purchaseeBookThis 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.Information114,39 € (gross)
ISBN 978-3-540-76186-0Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
-
-
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:Information67,82 € (gross)
ISBN 978-1-4471-0987-7Immediate eBook download after purchaseeBookThis 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.Information83,15 € (gross)
ISBN 978-3-540-76162-4Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
71,39 €
(gross)Softcover
Usually dispatched within 3 to 5 business days.
90,47 €
(gross)
High-Integrity System Specification and Design
Series: Formal Approaches to Computing and Information Technology (FACIT)
Bowen, Jonathan P., Hinchey, Michael G. 1999
Price from 71,39 €Available Formats:Information71,39 € (gross)
ISBN 978-1-4471-3431-2Immediate eBook download after purchaseeBookThis 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.Information90,47 € (gross)
ISBN 978-3-540-76226-3Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
67,82 €
(gross)Softcover
Usually dispatched within 3 to 5 business days.
83,15 €
(gross)
Systems, Models and Measures
Series: Formal Approaches to Computing and Information Technology (FACIT)
Kaposi, Agnes, Myers, Margaret 1994
Price from 67,82 €Available Formats:Information67,82 € (gross)
ISBN 978-1-4471-1977-7Immediate eBook download after purchaseeBookThis 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.Information83,15 € (gross)
ISBN 978-3-540-19753-9Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
-
-
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:Information71,39 € (gross)
ISBN 978-1-4471-3073-4Immediate eBook download after purchaseeBookThis 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.Information90,47 € (gross)
ISBN 978-3-540-19978-6Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
