Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : Proc (Lecture Notes in Computer Science)

Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : Proc (Lecture Notes in Computer Science)

Author spai International Symposium of Formal Methods Europe 1994 Barcelona, Tim Denvir, Maurice Naftalin, Miquel Bertran

Category Computer software

Shop on Amazon — pick your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Buy New on Amazon 🇮🇳

Price not available for India

You can still browse on Amazon. Try another country above.

🇨🇦 Canada 🇺🇸 USA

Book Details

Author(s) spai International Symposium of Formal Methods Europe 1994 Barcelona, Tim Denvir, Maurice Naftalin, Miquel Bertran

ISBN / ASIN 0387585559

ISBN-13 9780387585550

Category Computer software

Marketplace India 🇮🇳

Ratings & Reviews No reviews yet — be the first!

No reviews yet.

Donate to EbookNetworking

← No Prev