Ingyenes szállítás a Packetával, 59.99 € feletti vásárlás esetén

Szlovák posta 4.49 € SPS futárszolgálat 4.99 € GLS futár 3.99 € GLS pont 2.99 € Packeta futárszolgálat 4.99 € Packeta pont 2.99 €

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Verification: Theory and Practice

Name: Verification: Theory and Practice
Brand: Springer, Berlin
SKU: 01559051
Price: 121.31 EUR
Availability: InStock

Nachum Dershowitz

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 01559051

Kiadó Springer, Berlin, november 2003

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt... Teljes leírás

Libristo kód: 01559051

304 b

121.31 €

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

Strategic Human Resources Planning Kenneth McBey

/ Puha kötésű

147.29 €

Diary Of The Times Of Charles The Second By The Honorable Henry Sidney V2 (1843) Henry Sidney

/ Puha kötésű

36.79 €

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

Információ a könyvről

Teljes megnevezés Verification: Theory and Practice

Szerző Nachum Dershowitz

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2004

Oldalszám 788

EAN 9783540210023

ISBN 3540210024

Libristo kód 01559051

Kiadó Springer, Berlin

Súly 988

Méretek 156 x 234 x 40

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek

Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság

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

Kézbesítés

Vásárlási tanácsadó