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
93,08 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
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 93,08 €Available Formats:Information93,08 € (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 ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
64,19 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
77,99 €
(gross)
On the Refinement Calculus
Series: Formal Approaches to Computing and Information Technology (FACIT)
Morgan, Carroll, Vickers, Trevor (Eds.) 1992
Price from 64,19 €Available Formats:Information64,19 € (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 ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
71,68 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
90,47 €
(gross)
Formal Object-Oriented Development
Series: Formal Approaches to Computing and Information Technology (FACIT)
Lano, Kevin 1995
Price from 71,68 €Available Formats:Information71,68 € (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 ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
67,40 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
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,40 €Available Formats:Information67,40 € (gross)
ISBN 978-1-4471-3425-1Immediate 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-76158-7Usually ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
106,99 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
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 106,99 €Available Formats:Information106,99 € (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 ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
67,40 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
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,40 €Available Formats:Information67,40 € (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 ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
93,08 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
114,39 €
(gross)
Proof in VDM: Case Studies
Series: Formal Approaches to Computing and Information Technology (FACIT)
Bicarregui, Juan C. (Ed.) 1998
Price from 93,08 €Available Formats:Information93,08 € (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 ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
67,40 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
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,40 €Available Formats:Information67,40 € (gross)
ISBN 978-1-4471-2107-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-19902-1Usually ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
-
-
eBook
Immediate eBook download after purchase
67,40 €
(gross)Softcover
Usually ready to be dispatched within 3 to 5 business days, if in stock
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,40 €Available Formats:Information67,40 € (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 ready to be dispatched within 3 to 5 business days, if in stockSoftcoverSoftcover (also known as softback) version -
