Książka Integrated Formal Methods Einar Broch Johnsen

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.13
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2013
strony
443
EAN
9783642386121
ISBN
3642386121
Enbook ID
01663776
Waga
700
Wymiary
155 x 235 x 26

Pełny opis

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Możesz być zainteresowany

413.76
2 334.55
422.90

Tocqueville

Khaled Mattawa
57.55
1 007.68

Stalin

Edvard Radzinsky
67.85
34.60

Inside Gitmo

Gordon Cucullu
86.91
119.67
1 144.28
830.16

Learn Power BI

Greg Deckler
184.42
64.84
42.38

Global Business Strategy

Cornelis A. de Kluyver
119.09
53.65

Elegies.

William Mason
51.91

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

38.20

Kunst Des 18. Jahrhunderts

Edmond de Goncourt
180.24
182.76

EINE KLEINE NACHTMUSIK KV 525

WOLFGANG AMADEUS MOZ
47.34
883.92