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 Parosh Aziz Abdulla
Libristo kód: 01657596
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, március 2011
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Alg... Teljes leírás
? points 142 b
22 210 Ft
50 % esély Keressük az egész világon Mikor kapom meg a terméket?

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

Ezt is ajánljuk

Colouring Book Kandinsky Kutschbach Doris / Puha kötésű
common.buy 3 604 Ft
Max Frisch Julian Schütt / Puha kötésű
common.buy 5 491 Ft
Intuitive Sources of Probabilistic Thinking in Children H. Fischbein / Kemény kötésű
common.buy 26 214 Ft
Linking Research and Marketing Opportunities for Pulses in the 21st Century R. Knight / Puha kötésű
common.buy 102 590 Ft
Die Deutung von Kinderzeichnungen Joseph H. DiLeo / Puha kötésű
common.buy 10 514 Ft

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. §The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Információ a könyvről

Teljes megnevezés Tools and Algorithms for the Construction and Analysis of Systems
Szerző Parosh Aziz Abdulla, K.Rustan M. Leino
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 394
EAN 9783642198342
ISBN 3642198341
Libristo kód 01657596
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 612
Méretek 155 x 235 x 25

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
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 > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
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 > Számítógéptudomány > Mesterséges intelligencia
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