[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 2004

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Techniques for Networked and Distributed Systems - FORTE 2004 David de Frutos-Escrig
Libristo kód: 01559882
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, szeptember 2004
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on F... Teljes leírás
? points 154 b
24 218 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

Ernährungsratgeber Morbus Crohn und Colitis ulcerosa Sven-David Müller / Puha kötésű
common.buy 6 116 Ft
Permanent Sovereignty over Natural Resources Marc Bungenberg / Puha kötésű
common.buy 42 868 Ft
Huckleberry Finn Jens Hoffmann / Kemény kötésű
common.buy 11 714 Ft
Die Lehrerschelte Gustav Keller / Puha kötésű
common.buy 11 432 Ft
Dietetic and Hygienic Gazette, Volume 22 Anonymous / Kemény kötésű
common.buy 19 264 Ft
Romance of Private Life Clark / Puha kötésű
common.buy 24 610 Ft
Essai Sur Le Vocalisme Du Sogdien. These Complementaire Pour Le Doctorat Es Lettres Presentee Gauthiot-R / Puha kötésű
common.buy 7 722 Ft
Alexander-Technik für Musiker Pedro Del Alcantara / Puha kötésű
common.buy 12 091 Ft
Efficient Algorithms for Listing Combinatorial Structures Leslie Ann Goldberg / Kemény kötésű
common.buy 58 956 Ft
Fundamentals of Refractory Technology - Ceramics Transactions V125 Bennett / Puha kötésű
common.buy 57 793 Ft
Was kreucht und fleucht in Hamburg? Thomas Schmidt / Puha kötésű
common.buy 6 479 Ft

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004.The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.

Információ a könyvről

Teljes megnevezés Formal Techniques for Networked and Distributed Systems - FORTE 2004
Szerző David de Frutos-Escrig, Manuel Nunez
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2004
Oldalszám 382
EAN 9783540232520
ISBN 3540232524
Libristo kód 01559882
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1210
Méretek 155 x 235 x 22

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 > Szoftvermérnöki tudomány
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