Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 9783540411963
Price: 276.36 RON
Availability: InStock

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

Autor: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.36 lei

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

Informații despre carte

Autor

Wolfgang Grieskamp, Thomas Santen, Bill Stoddart

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2000

Pagini

446

EAN

9783540411963

ISBN

3540411968

Enbook ID

01563119

Editura

Springer, Berlin

Greutate

700

Dimensiuni

155 x 235 x 23

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Integrated Formal Methods

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și