Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Techniques for Distributed Objects, Components, and Systems

Name: Formal Techniques for Distributed Objects, Components, and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02668867
Price: 48.9 EUR
Availability: InStock
Author: Catuscia Palamidessi
ISBN: 9783662436127

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

Catuscia Palamidessi

Erika Ábrahám

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02668867

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, april 2014

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec... Celoten opis

Koda Libristo: 02668867

118 b

48.90 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Det flata racket 1.0 Sam Skogh

Mehka

13.05 €

Hábitos saludables que alargan la vida: ideas y consejos para vivir más y mejor AA. VV.

Mehka

7.38 €

Weltkinderkunde Wolfgang Schad

Mehka

55.79 €

To proste Jerzy Pomianowski

Mehka

9.00 €

Die Ortliche Betaubung Ihre Wissenschaftlichen Grundlagen Und Praktische Anwendung (1921) Heinrich Braun

Mehka

40.09 €

Cookomix spécial apéro

Trda

27.13 €

Rázštepy pery a podnebia Radomír Kokavec

Mehka

1.61 €

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.