phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Techniques for Distributed Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Techniques for Distributed Systems John Hatcliff
Libristo kód: 01655975
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2010
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Teljes leírás
? points 156 b
25 040 Ft
Beszállítói készleten Küldés 9-13 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Kde bývajú zvieratká? neuvedený autor / Leporelló
common.buy 2 962 Ft
Christian Apologetics Norman L. Geisler / Puha kötésű
common.buy 12 008 Ft
Packaging Development Process Kristine DeMaria / Kemény kötésű
common.buy 98 254 Ft
Ottoman Scramble for Africa Mostafa Minawi / Kemény kötésű
common.buy 50 419 Ft
Aging and Neuropsychological Assessment Asenath La Rue / Kemény kötésű
common.buy 74 818 Ft
Interchange Intro Full Contact A with Self-study DVD-ROM Jack C. Richards / Puha kötésű
common.buy 14 329 Ft
Marketing im Mittelstand Clemens Renker / Kemény kötésű
common.buy 25 486 Ft
Jahre des Umbruchs Clemens Vollnhals / Kemény kötésű
common.buy 44 668 Ft
Cartographies of Exile / Kemény kötésű
common.buy 89 383 Ft
Pierre and His People, [Tales of the Far North], Volume 5. Gilbert Parker / Puha kötésű
common.buy 7 621 Ft
Itsuka Joy Kogawa / Puha kötésű
common.buy 7 011 Ft
Foundation for Yoga Practitioners Ulrich Timme Kragh / Kemény kötésű
common.buy 40 712 Ft
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Kemény kötésű
common.buy 88 358 Ft
Origins of Free Peoples Jason Caro / Puha kötésű
common.buy 27 874 Ft
Hochzeitsreise Charles de Coster / Kemény kötésű
common.buy 21 519 Ft
Senilita Italo Svevo / Puha kötésű
common.buy 5 186 Ft

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.

Információ a könyvről

Teljes megnevezés Formal Techniques for Distributed Systems
Szerző John Hatcliff, Elena Zucca
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 233
EAN 9783642134630
ISBN 3642134637
Libristo kód 01655975
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 386
Méretek 159 x 240 x 19

Kategória

Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció > Elosztott rendszerek
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása