Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings by Wolfgang GrieskampIntegrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings by Wolfgang Grieskamp

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany…

EditorWolfgang Grieskamp, Thomas Santen, Bill Stoddart

Paperback | October 18, 2000

Pricing and Purchase Info

$167.95

Earn 840 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 Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.
Title:Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany…Format:PaperbackDimensions:451 pagesPublished:October 18, 2000Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540411968

ISBN - 13:9783540411963

Look for similar items by category:

Reviews