Kniha Formal Techniques for Distributed Objects, Components, and Systems Catuscia Palamidessi

Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, P

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2014
Stránok
301
EAN
9783662436127
ISBN
3662436124
Enbook ID
02668867
Hmotnosť
4803
Rozmery
155 x 235 x 18

Kompletný popis

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.

Mohlo by vás zaujímať

O is for Orisha

Victor Francisco Hernandez Mora
14.43

Proud Tower

Barbara Tuchman
16.00
148.93

Orientations

Pierre Boulez
19.44
205.22

Jacobi Dynamics

V.I. Ferronsky
199.82

Final Plague

Tony Guaraldi-Brown
12.17
75.54

How to Do Ecology

Richard Karban
28.19

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

13.45

Weltkinderkunde

Wolfgang Schad
57.56

To proste

Jerzy Pomianowski
9.81
1.69