Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 9783540213772
Price: 297.49 RON
Availability: InStock

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Autor: Eerke A. Boiten, John Derrick, Graeme Smith

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

297.49 lei

This book constitutes the refereed proceedings of the 4th International Conference on Integrated For...

Informații despre carte

Autor

Eerke A. Boiten, John Derrick, Graeme Smith

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2004

Pagini

548

EAN

9783540213772

ISBN

3540213775

Enbook ID

01559229

Editura

Springer, Berlin

Greutate

820

Dimensiuni

156 x 234 x 28

Descriere completă

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

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

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.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