Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Theorem Proving in Higher Order Logics

15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Theorem Proving in Higher Order Logics Victor A. Carreno
Libristo kód: 01564524
Nakladateľstvo Springer, Berlin, november 2001
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Provi... Celý popis
? points 125 b
51.76 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Ja genau! C. Böschel / Kniha Brožovaná
common.buy 24.10 €
OElpreiskrise Thomas Kalitzky / Kniha Brožovaná
common.buy 17.11 €
Woman in the Nineteenth Century, and Kindred Papers Relating to the Sphere (Ed.1855) Margaret Fuller / Kniha Brožovaná
common.buy 28.05 €
Libro de Colorear para Adultos Coloringcraze / Kniha Brožovaná
common.buy 13.26 €

This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002.The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem proving systems evaluated are Isabelle/HOL, Isabelle/Isar, and Coq.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Theorem Proving in Higher Order Logics
Autor Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2002
Počet strán 347
EAN 9783540440390
ISBN 3540440399
Libristo kód 01564524
Nakladateľstvo Springer, Berlin
Váha 513
Rozmery 155 x 235 x 19

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Strojové učenie
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

RF-101 Voodoo Over South East Asia 1961 - 1970 William Greenhalgh / Kniha Brožovaná
common.buy 12.25 €
How to find a Good Man: The secret to attract Mr. Right! Marcus Johnson / Kniha Brožovaná
common.buy 9.82 €
Atlas of Wisdom Teeth Surgery Dapeng Lu / Kniha Pevná
common.buy 181.43 €
Politics of Human Life Piergiorgio Donatelli / Kniha Pevná
common.buy 200.06 €
Confucianism Ming-Huei Lee / Kniha Brožovaná
common.buy 31.90 €
Hal Leonard Banjo Method Book 1 - Deluxe Beginner Edition for 5-String Banjo with Audio & Video Access Included Mac Robertson / Kniha Brožovaná
common.buy 14.78 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?