Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 1182 CZK
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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02668867

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, duben 2014

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec... Celý popis

Libristo kód: 02668867

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Det flata racket 1.0 Sam Skogh

Brožovaná

316 Kč

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

Brožovaná

198 Kč

Weltkinderkunde Wolfgang Schad

Brožovaná

1 348 Kč

To proste Jerzy Pomianowski

Brožovaná

244 Kč

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

Brožovaná

968 Kč

Cookomix spécial apéro

Pevná

720 Kč

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

Brožovaná

39 Kč

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.