FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, P by Jose N. OliveiraFME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, P by Jose N. Oliveira

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal…

EditorJose N. Oliveira, Pamela Zave

Paperback | February 28, 2001

Pricing and Purchase Info

$193.95

Earn 970 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.
Title:FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal…Format:PaperbackDimensions:648 pages, 9.17 × 6.1 × 0.03 inPublished:February 28, 2001Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540417915

ISBN - 13:9783540417910

Look for similar items by category:

Reviews