Industrial-Strength Formal Methods in Practice - Formal Approaches to Computing and Information Technology (FACIT) - Michael G Hinchey - Books - Springer London Ltd - 9781852336400 - September 17, 1999
In case cover and title do not match, the title is correct

Michael G Hinchey
Industrial-Strength Formal Methods in Practice - Formal Approaches to Computing and Information Technology (FACIT) 1999 edition

Price
R$ 860.90
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 22 - Jan 1, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

Marc Notes: Includes bibliographical references and index. Table of Contents: 1 It s Greek to Me: Method in the Madness?.- 2 The French Population Census for 1990.- 3 The Formal Verification of a Payment System.- 4 Specification of a Chemical Process Controller in B.- 5 Formal Analysis of the Motorola CAP DSP.- 6 Bridging the E-Business Gap Through Formal Verification.- 7 A CAD Environment for Safety-Critical Software.- 8 Scheduling and Rescheduling of Trains.- 9 Lessons from the Formal Development of a Radiation Therapy Machine Control Program.- 10 Using Formal Methods to Develop an ATC Information System.- 11 Rigorous Review Technique.- 12 Analysing Z Specifications with Z/EVES.- 13 How to Construct Formal Arguments that Persuade Certifiers.- 14 Formal Methods Through Domain Engineering.- 15 Formal Verification in Railways.- 16 Cleanroom Software Engineering: Theory and Practice.- References."

Contributor Bio:  Hinchey, Michael G Hinchey, University of Nebraska, Omaha and University of Limerick, Ireland. Contributor Bio:  Bowen, Jonathan P Bowen, University of Reading, UK.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 17, 1999
ISBN13 9781852336400
Publishers Springer London Ltd
Pages 400
Dimensions 155 × 235 × 21 mm   ·   616 g
Language English  
Editor Bowen, Jonathan P.
Editor Hinchey, Michael G.
Show all

More by Michael G Hinchey

See all of Michael G Hinchey ( e.g. Paperback Book )