Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 9783540213772
Price: 217.3 PLN
Availability: InStock

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

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

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

217.30 zł

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

Informacje o książce

Autor

Eerke A. Boiten, John Derrick, Graeme Smith

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2004

strony

548

EAN

9783540213772

ISBN

3540213775

Enbook ID

01559229

Wydawca

Springer, Berlin

Waga

820

Wymiary

156 x 234 x 28

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Integrated Formal Methods

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również