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

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274873
Price: 26116 HUF
Availability: InStock

Jim Grundy

Malcolm Newey

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 05274873

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

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Provi... Teljes leírás

Libristo kód: 05274873

168 b

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

Worte Sind Meine Brand-Satze Gegen Eure Knastmaschinerie Ralf-Axel Simon

/ Puha kötésű

16 313 Ft

Tobias Smollett in the Enlightenment Richard J. Jones

/ Kemény kötésű

49 940 Ft

Scattering Theory And Biomedical Engineering Modelling And Applications - Proceedings Of The 4th International Workshop

/ Kemény kötésű

65 815 Ft

Über den Tod und das Leben danach, 2 Audio-CD Elisabeth Kübler-Ross

/ Audio CD

9 261 Ft

Tiffany Desk Treasures George A. Kemeny

/ Kemény kötésű

27 628 Ft

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

Információ a könyvről

Teljes megnevezés Theorem Proving in Higher Order Logics

Szerző Jim Grundy, Malcolm Newey

Nyelv

Angol

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

Kiadás éve 1998

Oldalszám 496

EAN 9783540649878

ISBN 3540649875

Libristo kód 05274873

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

Súly 1580

Méretek 155 x 233 x 28

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 > Mesterséges intelligencia > Gépi tanulás

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

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ó