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

Tools and Algorithms for the Construction and Analysis of Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margaria
Libristo kód: 05274560
Kiadó Springer, Berlin, november 1995
This book presents the refereed proceedings of the Second International Workshop on Tools and Algori... Teljes leírás
? points 168 b
26 358 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

L'Uniformes des Sapeurs-Pompiers Frederic Coune / Puha kötésű
common.buy 20 214 Ft
Coming Islamic Invasion of Israel Mark Hitchcock / Puha kötésű
common.buy 4 909 Ft
Pixars komplette Kurzfilm Collection, 1 DVD, 1 DVD-Video Animatio N / DVD
common.buy 4 252 Ft
Troubled Peace Chae-Jin Lee / Puha kötésű
common.buy 16 590 Ft
Thin Film Ferroelectric Materials and Devices, 1 R. Ramesh / Puha kötésű
common.buy 79 882 Ft
Mobile TV: Customizing Content and Experience Aaron Marcus / Kemény kötésű
common.buy 51 953 Ft
Le Statut de Tanger D'Apres La Convention Du 18 Decembre 1923 Edgard Rouard De Card / Puha kötésű
common.buy 8 764 Ft
Am Strand Ian McEwan / Puha kötésű
common.buy 4 733 Ft
Miss Carter's War HANCOCK SHEILA / Puha kötésű
common.buy 5 958 Ft
Systems of Family Therapy Dinkmeyer / Kemény kötésű
common.buy 81 102 Ft
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy José Mira / Puha kötésű
common.buy 26 358 Ft
Information Retrieval and Mining in Distributed Environments Alessandro Soro / Kemény kötésű
common.buy 79 882 Ft
Landlord at Lion's Head - Volume 1 William Dean Howells / Puha kötésű
common.buy 10 551 Ft
Urban Life of the Song Dynasty Zhao Shiyu / Kemény kötésű
common.buy 47 280 Ft
There is no rose / Kotta
common.buy 1 757 Ft
Manual of Kidney Transplant Medical Care Arthur J. Matas / Spirálozott
common.buy 15 209 Ft

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

Információ a könyvről

Teljes megnevezés Tools and Algorithms for the Construction and Analysis of Systems
Szerző Tiziana Margaria, Bernhard Steffen
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1996
Oldalszám 443
EAN 9783540610427
ISBN 3540610421
Libristo kód 05274560
Kiadó Springer, Berlin
Súly 606
Méretek 156 x 234 x 23

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éptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
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