[email protected]
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 Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Techniques for Networked and Distributed Systems - FORTE 2003

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Libristo kód: 01558642
Kiadó Springer, Berlin, november 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... Teljes leírás
? points 154 b
24 164 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

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

Ezt is ajánljuk

Angličtina Slovní hry Gabrielle Smith-Dluha / Puha kötésű
common.buy 1 442 Ft
Reiki praktická kniha Horst Günther / Kemény kötésű
common.buy 4 144 Ft
Ptákovina Milan Kundera / Audio CD
common.buy 2 888 Ft
kiárusítás
Razítka Dinosaurus, felt-tip pens box / Papírszerek
common.buy 6 258 Ft
hamarosan
Beyit: Red Dragon (Foiled Journal) Flame Tree / Határidőnapló
common.buy 3 466 Ft
Macanudo 3 Ricardo Liniers / Puha kötésű
common.buy 3 702 Ft
Adventures of Tom Sawyer Mark Twain / Puha kötésű
common.buy 6 494 Ft
Staat, Nation, Europa Ernst-Wolfgang Böckenförde / Puha kötésű
common.buy 7 157 Ft
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Puha kötésű
common.buy 15 987 Ft
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Kemény kötésű
common.buy 18 830 Ft
Sharing the Work Myra H. Strober / Kemény kötésű
common.buy 3 782 Ft
Eccentric Lives and Peculiar Notions John Michell / Puha kötésű
common.buy 6 309 Ft
Engendering the Buddhist State Ashley Thompson / Kemény kötésű
common.buy 83 287 Ft
Perspective in Nuclear Physics Sun-Chan Jeong / Puha kötésű
common.buy 54 231 Ft
Shock Dynamics Z. Han / Kemény kötésű
common.buy 128 823 Ft
Bioinorganic Chemistry Robert J. P. Williams / Kemény kötésű
common.buy 141 647 Ft

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.§§The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

Információ a könyvről

Teljes megnevezés Formal Techniques for Networked and Distributed Systems - FORTE 2003
Szerző Hartmut König, Monika Heiner, Adam Wolisz
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2003
Oldalszám 429
EAN 9783540201755
ISBN 3540201750
Libristo kód 01558642
Kiadó Springer, Berlin
Súly 626
Méretek 155 x 235 x 23

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Gépi tanulás
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 > Szoftvermérnöki tudomány
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
Számítástechnika és információtechnológia > Operációs rendszerek
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