Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 9783540213772
Price: 19373 HUF
Availability: InStock

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

Szerző: Eerke A. Boiten, John Derrick, Graeme Smith

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 373 Ft

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

Információk a könyvről

Szerző

Eerke A. Boiten, John Derrick, Graeme Smith

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2004

oldal

548

EAN

9783540213772

ISBN

3540213775

Enbook ID

01559229

Kiadó

Springer, Berlin

Súly

820

Méretek

156 x 234 x 28

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Integrated Formal Methods

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták