Books : Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March 18-22, ... (Lecture Notes in Computer Science)

Author name: england International Symposium of Formal Methods Europe 1996 Oxford, M. C. Gaudel, Jim Woodcock

: Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March 18-22, ... (Lecture Notes in Computer Science)

Type of bind: Hardcover
Dewey Decimal Number: 005.1015113
EAN num: 9780387609737
ISBN number: 0387609733
Label: Springer-Verlag
Manufacturer: Springer-Verlag
Printing Date: 1996-04
Publishing house: Springer-Verlag
Studio: Springer-Verlag

Find other books like this one:

Software Design, Testing & Engineering - Programming - Computers & Internet - Subjects - Books - Software Development
Reference - Subjects - Books - General
Type of bind (binding) - Refinements - Books - Hardcover
Format (feature_browse-bin) - Refinements - Books - Printed Books

Kids Psoriasis / Depression And Worry / Allan Quatermain / The Black Dwarf / Hardy Boys /
Alice In Wonderland Chesire Cat Nail Psoriasis Unique Wedding Personalized Favor Sexy Valentines Gifts Jungle Book 1 Corporate Gift Gift Basket Hound Of The Baskervilles Summary Personalized Story Books Wizard Of Oz Myth Islamic Lectures Sherlock Holmes Brother

Home - Soccer - Swords - Tennis - Baseball
Basketball
Body Building
Hockey
Football