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 GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Computational Logic and Set Theory

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Computational Logic and Set Theory Jacob T. Schwartz
Libristo kód: 01400064
Kiadó Springer London Ltd, július 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Teljes leírás
? points 154 b
24 806 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

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

Ezt is ajánljuk

Air Gear Omnibus 1 Oh! Great / Puha kötésű
common.buy 6 741 Ft
Milostné příběhy Napoleona Bonaparta Guy Breton / Kemény kötésű
common.buy 371 Ft
Governability of Fisheries and Aquaculture: Theory and Applications J Maarten Bavinck / Kemény kötésű
common.buy 48 890 Ft
Augustine Confessions: Augustine Confessions James J ODonnell / Puha kötésű
common.buy 23 714 Ft
On the Way Michael Perham / Puha kötésű
common.buy 5 680 Ft
Libraries and Society David Baker / Puha kötésű
common.buy 33 431 Ft
Das Liquiditätsproblem bei den Girozentralen. Dietrich Golz / Puha kötésű
common.buy 17 179 Ft
Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff / Kemény kötésű
common.buy 31 371 Ft
Mere Accident George Augustus Moore / Puha kötésű
common.buy 10 006 Ft
Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein / Kemény kötésű
common.buy 28 956 Ft
Kleopatra Paul Heyse / Kemény kötésű
common.buy 21 639 Ft

As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem.§This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the

Információ a könyvről

Teljes megnevezés Computational Logic and Set Theory
Szerző Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2011
Oldalszám 416
EAN 9780857298072
ISBN 0857298070
Libristo kód 01400064
Kiadó Springer London Ltd
Súly 824
Méretek 166 x 243 x 30

Kategória

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é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 > Számítógépes építészet és logika tervezés
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