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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 01563119
Price: 51.68 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

125 b

51.68 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Coach Rozhovory Zdeněk Haník

Hardback

13.04 €

Rétorika aneb řeč jako nástroj Eva Tinková

Paperback

7.88 €

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

Paperback

5.96 €

La encrucijada de la educación

Paperback

21.44 €

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

Sheet

6.77 €

ulaviyal nerukadi / உளவியல் நெருக்கடி V Balaji

Paperback

16.58 €

Pillole di Vendere! Beppe Damioli

Paperback

13.24 €

Entwicklung und Migration Dietrich Thränhardt

Paperback

25.58 €

Šenkýřka krásy Jan Schneider

Book

2.72 €

La Maison de l'ombre Carbonel

Paperback

25.08 €

Coloriages mystères Les grands classiques Disney Disney

Paperback

21.44 €

Bluthochdruck nach der Menopause Jürgen Scholze

Paperback

51.88 €

52 otázek před manželstvím nebo společným soužitím The Gottman Institute

Cards

11.83 €

Rozbřesk Stephenie Meyer

Paperback

17.39 €

Arien-Album - Berühmte Arien für Bariton und Bass Alfred Dörffel

Sheet music

37.52 €

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.