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 C.R. Ramakrishnan
Libristo kód: 01570065
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, március 2008
This proceedings volume examines parameterized systems, model checking, applications, static analysi...
? points 168 b
26 358 Ft
Beszállítói készleten alacsony példányszámban Küldés 14-18 napon belül

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

Ezt is ajánljuk

Kalifornie USA Rolf Goetz / Térkép
common.buy 4 703 Ft
Das Notizbuch von Johann David Schiedmayer und seines Sohnes Johann Lorenz Michael Latcham / Kemény kötésű
common.buy 103 263 Ft
Hesiodic Voices Richard Hunter / Kemény kötésű
common.buy 55 105 Ft
Theoretische und wirtschaftspolitische Aspekte der internationalen Integration. Stefan Reitz / Puha kötésű
common.buy 33 104 Ft
Power and Space Josefine Fokdal / Puha kötésű
common.buy 8 202 Ft
Musiklexikon für Kinder Monika Heumann / Kemény kötésű
common.buy 17 468 Ft
Samuel Johnson Leslie Stephen / Puha kötésű
common.buy 19 416 Ft
Erzähl doch keine Geschichten! Dietrich Neuhaus / Puha kötésű
common.buy 5 722 Ft

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

Információ a könyvről

Teljes megnevezés Tools and Algorithms for the Construction and Analysis of Systems
Szerző C.R. Ramakrishnan, Jakob Rehof
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 520
EAN 9783540787990
ISBN 3540787992
Libristo kód 01570065
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 819
Méretek 155 x 235 x 29

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 > Algoritmusok és adatszerkezetek
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
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