Items related to Industrial-Strength Formal Methods in Practice (Formal...
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1999
- ISBN 10 1852336404
- ISBN 13 9781852336400
- BindingPaperback
- Number of pages416
- EditorHinchey Michael G., Bowen Jonathan P.
Buy New
Learn more about this copy
US$ 44.02
Shipping:
US$ 3.99
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Industrial-Strength Formal Methods in Practice
Seller:
Rating
Book Description Condition: New. pp. 420. Seller Inventory # 263073519
Buy New
US$ 44.02
Convert currency
Stock Image
Industrial-Strength Formal Methods in Practice
Seller:
Rating
Book Description Condition: New. pp. 420 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5855792
Buy New
US$ 44.53
Convert currency
Stock Image
Industrial-Strength Formal Methods in Practice
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-176060
Buy New
US$ 109.49
Convert currency
Stock Image
Industrial-Strength Formal Methods in Practice
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-221156
Buy New
US$ 109.49
Convert currency
Stock Image
Industrial-Strength Formal Methods in Practice
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-221156
Buy New
US$ 113.95
Convert currency
Seller Image
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) by Hinchey, Michael G. [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9781852336400
Buy New
US$ 163.89
Convert currency
Seller Image
Industrial-Strength Formal Methods in Practice
Seller:
Rating
Book Description Condition: New. Seller Inventory # 1816332-n
Buy New
US$ 177.71
Convert currency
Seller Image
Industrial-Strength Formal Methods in Practice
Published by
Springer London Sep 1999
(1999)
ISBN 10: 1852336404
ISBN 13: 9781852336400
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work. 420 pp. Englisch. Seller Inventory # 9781852336400
Buy New
US$ 155.41
Convert currency
Stock Image
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Published by
Springer
(1999)
ISBN 10: 1852336404
ISBN 13: 9781852336400
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar2912160256734
Buy New
US$ 178.71
Convert currency
Stock Image
Industrial-Strength Formal Methods in Practice
Published by
Springer
(1999)
ISBN 10: 1852336404
ISBN 13: 9781852336400
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781852336400_lsuk
Buy New
US$ 175.75
Convert currency