Kniha Formal Techniques for Distributed Systems John Hatcliff

Formal Techniques for Distributed Systems

Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
54.42
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2010
Stránok
233
EAN
9783642134630
ISBN
3642134637
Enbook ID
01655975
Hmotnosť
386
Rozmery
159 x 240 x 19

Kompletný popis

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed systems.

Mohlo by vás zaujímať

49.11
54.42
100.00
32.90
194.02
17.18
15.71
27.50

Words Of Love 1959-2009

Gary Lynn Clevenger
13.65

Anne of the Island

Lucy Maud Montgomery
7.85
34.87
15.61
7.36
22.29
51.86

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

Cowboy fur die Liebe

Martina Gercke
8.83

Indirekte Sterbehilfe

Sophie Roggendorf
35.75
29.56
7.33

Labutie piesne

Pavol Hammel
11.58
20.92

Beat Kusagi

David Sterritt
8.93
5.30

Senilita

Italo Svevo
12.27
67.68

Tata a jeho syn

Arnošt Goldflam
8.39

Jahre des Umbruchs

Clemens Vollnhals
103.15
83.01

Hochzeitsreise

Charles de Coster
21.70

Detektywistyka

Brakoniecki Dariusz
17.38