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

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

Price
Íkr 6,939
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 8 - 16

Our customers say:

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

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
Language German  
Editor Grieskamp, Wolfgang
Editor Santen, Thomas
Editor Stoddart, Bill

Mere med samme udgiver

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