Książka 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

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 9-15 dni
240.95
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2010
strony
233
EAN
9783642134630
ISBN
3642134637
Enbook ID
01655975
Waga
386
Wymiary
159 x 240 x 19

Pełny opis

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.

Możesz być zainteresowany

207.85
240.95
423.49
139.21
859.75
77.10
70.87
122.37

Words Of Love 1959-2009

Gary Lynn Clevenger
61.13

Anne of the Island

Lucy Maud Montgomery
35.14
147.68
65.90
31.24
99.20
219.53

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

Cowboy fur die Liebe

Martina Gercke
37.38

Indirekte Sterbehilfe

Sophie Roggendorf
151.19
125.19
34.16

Labutie piesne

Pavol Hammel
47.21
88.68

Beat Kusagi

David Sterritt
37.86
22.58

Senilita

Italo Svevo
52.17
286.71

Tata a jeho syn

Arnošt Goldflam
39.03

Jahre des Umbruchs

Clemens Vollnhals
436.73
351.25

Hochzeitsreise

Charles de Coster
91.90

Detektywistyka

Brakoniecki Dariusz
64.73