Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 9783540213772
Price: 50.13 EUR
Availability: InStock

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

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

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

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

Informácie o knihe

Autor

Eerke A. Boiten, John Derrick, Graeme Smith

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2004

Stránok

548

EAN

9783540213772

ISBN

3540213775

Enbook ID

01559229

Vydavateľ

Springer, Berlin

Hmotnosť

820

Rozmery

156 x 234 x 28

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Integrated Formal Methods

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež