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

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Certified Programs and Proofs

Name: Certified Programs and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01659274
Price: 26453 HUF
Availability: InStock

Jean-Pierre Jouannaud

Zhong Shao

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 01659274

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2011

This book constitutes the referred proceedings of the First International Conference on Certified Pr... Teljes leírás

Libristo kód: 01659274

168 b

26 453 Ft

Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

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

Ezt is ajánljuk

Star Wars: Darth Maul Cullen Bunn

/ Puha kötésű

6 262 Ft

Fragile World Kerby Rosanes

/ Puha kötésű

5 083 Ft

Comanche Moon Larry McMurtry

/ Puha kötésű

5 083 Ft

Ancient Magus' Bride: Wizard's Blue Vol. 1 Makoto Sanda

/ Puha kötésű

5 038 Ft

Manic Botanic Irina Vinnik

/ Puha kötésű

6 045 Ft

Hand on the Wall Maureen Johnson

/ Kemény kötésű

4 534 Ft

Queen in 3-D Brian May

/ Kemény kötésű

13 582 Ft

Human, 1 Audio-CD Michael Patrick Kelly

/ Audio CD

3 557 Ft

He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull

/ Kemény kötésű

9 602 Ft

Things That Matter Nate Berkus

/ Kemény kötésű

16 020 Ft

Triathlon Bike Foundations "triathlon Taren" Gesell

/ Puha kötésű

4 751 Ft

Book of Marmalade C Anne Wilson

/ Puha kötésű

7 572 Ft

Curse of the Black Gold Ed Kashi

/ Puha kötésű

14 292 Ft

Ansel's Pharmaceutical Dosage Forms and Drug Delivery Systems Howard C. Ansel

/ Könyv

24 030 Ft

66 Degrees North Michael Ridpath

/ Puha kötésű

5 083 Ft

Comparative Typology of English and German John A. Hawkins

/ Kemény kötésű

86 151 Ft

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. §The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

Információ a könyvről

Teljes megnevezés Certified Programs and Proofs

Szerző Jean-Pierre Jouannaud, Zhong Shao

Nyelv

Angol

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

Kiadás éve 2011

Oldalszám 401

EAN 9783642253782

ISBN 3642253784

Libristo kód 01659274

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly 633

Méretek 155 x 235 x 23

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éptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára

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

Kézbesítés

Vásárlási tanácsadó