Items related to Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice - Softcover

 
9781447105244: Industrial-Strength Formal Methods in Practice
Softcover
ISBN 10: 1447105249 ISBN 13: 9781447105244
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
1447105249
ISBN 13 
9781447105244
Binding
Paperback
Number of pages
420
Editor
Hinchey Michael G., Bowen Jonathan P.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9781852336400: Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Featured Edition

ISBN 10:  1852336404 ISBN 13:  9781852336400
Publisher: Springer, 1999
Softcover