Könyv Integrated Formal Methods Einar Broch Johnsen

Integrated Formal Methods

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 274 Ft
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
443
EAN
9783642386121
ISBN
3642386121
Enbook ID
01663776
Súly
700
Méretek
155 x 235 x 26

Teljes leírás

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.

Érdekelheti

37 670 Ft
195 265 Ft
38 435 Ft

Tocqueville

Khaled Mattawa
4 982 Ft

Stalin

Edvard Radzinsky
6 244 Ft
3 178 Ft

Inside Gitmo

Gordon Cucullu
7 949 Ft
10 930 Ft
100 490 Ft
72 914 Ft

Learn Power BI

Greg Deckler
16 619 Ft
5 962 Ft
3 831 Ft

Global Business Strategy

Cornelis A. de Kluyver
10 957 Ft
4 838 Ft

Elegies.

William Mason
4 785 Ft

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