Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Lecture Notes in Computer Science - W Grieskamp - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540411963 - October 18, 2000
In case cover and title do not match, the title is correct

Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Lecture Notes in Computer Science

W Grieskamp

Price
A$ 104.49

Ordered from remote warehouse

Expected delivery Mar 26 - Apr 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Lecture Notes in Computer Science

This title presents topical sections on computer science, linking and extending notations, methodology, foundation of one formalism by another, semantics and verification and validation. It is intended for use by compilers, interpreters, and software engineering researchers and professionals.

446 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 18, 2000
ISBN13 9783540411963
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 446
Dimensions 156 × 234 × 23 mm   ·   1.05 kg
Editor Grieskamp, Wolfgang
Editor Santen, Thomas
Editor Stoddart, Bill

See all of W Grieskamp ( e.g. Paperback Book )