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
phone Kapcsolat phoneHogyan vásároljunk

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Techniques for Networked and Distributed Systems - FORTE 2002 Doron A. Peled
Libristo kód: 01555972
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2002
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on F... Teljes leírás
? points 168 b
26 157 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-15 napon belül

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

Ezt is ajánljuk

toplistás
Egon Schiele Jane Kallir / Kemény kötésű
common.buy 11 203 Ft
Teleportation Accident Ned Beauman / Puha kötésű
common.buy 4 573 Ft
Narozena pod toulavou hvězdou Zuzana Kulhánková / Kemény kötésű
common.buy 2 690 Ft
Realita vesmíru Jan Blažej / Puha kötésű
common.buy 2 022 Ft
Celostný obraz sveta Ignác Prno / Puha kötésű
common.buy 2 316 Ft
K9 Explosive and Mine Detection Resi Gerritsen / Puha kötésű
common.buy 21 569 Ft
Ewalds Mathespielwiese Ewald Gronewold / Puha kötésű
common.buy 8 623 Ft
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Kemény kötésű
common.buy 32 852 Ft
Das große Buch vom Club Christoph Bausenwein / Kemény kötésű
common.buy 7 268 Ft
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Puha kötésű
common.buy 51 557 Ft
Anlagenrecht Martin Kind / Puha kötésű
common.buy 15 158 Ft

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.

Információ a könyvről

Teljes megnevezés Formal Techniques for Networked and Distributed Systems - FORTE 2002
Szerző Doron A. Peled, Moshe Y. Vardi
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2002
Oldalszám 374
EAN 9783540001416
ISBN 3540001417
Libristo kód 01555972
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1200
Méretek 155 x 235 x 21

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
Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció
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