Könyv 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

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 305 Ft
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
301
EAN
9783662436127
ISBN
3662436124
Enbook ID
02668867
Súly
4803
Méretek
155 x 235 x 18

Teljes leírás

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.

Érdekelheti

O is for Orisha

Victor Francisco Hernandez Mora
5 770 Ft

Proud Tower

Barbara Tuchman
5 658 Ft

Orientations

Pierre Boulez
7 491 Ft
75 972 Ft

Jacobi Dynamics

V.I. Ferronsky
76 883 Ft

Final Plague

Tony Guaraldi-Brown
4 622 Ft
28 688 Ft

How to Do Ecology

Richard Karban
9 980 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

5 219 Ft

Weltkinderkunde

Wolfgang Schad
22 389 Ft

To proste

Jerzy Pomianowski
3 470 Ft
628 Ft