Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 01563119
Price: 53.79 EUR
Availability: InStock
Author: Wolfgang Grieskamp
ISBN: 9783540411963

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Wolfgang Grieskamp

Thomas Santen

Bill Stoddart

Language

English

Book Paperback

Libristo code: 01563119

Publishers Springer, Berlin, November 1999

This book constitutes the refereed proceedings of the Second International Conference on Integrated... Full description

Libristo code: 01563119

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

La Maison de l'ombre Carbonel

Paperback

25.99 €

La encrucijada de la educación

Paperback

22.49 €

Pane ministře, volá Sarajevo Vladimír Přibský

Sheet

7.09 €

Pillole di Vendere! Beppe Damioli

Paperback

13.79 €

Coach Rozhovory Zdeněk Haník

Hardback

12.89 €

Šenkýřka krásy Jan Schneider

Book

2.29 €

Coloriages mystères Les grands classiques Disney Disney

Paperback

22.29 €

Moje nezbedné štěně Hry s Lumpíkem? Holly Webb

Paperback

6.29 €

Entwicklung und Migration Dietrich Thränhardt

Paperback

26.69 €

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.