Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561020
Price: 54.35 EUR
Availability: InStock
Author: Joe Hurd
ISBN: 9783540283720

18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Joe Hurd

Tom Melham

Език

Английски език

Книга С меки корици

Код Либристо: 01561020

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2005

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Provi... Цялото описание

Код Либристо: 01561020

132 b

54.35 €

106.30 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Eficiencia en la Gestion Financiera en un Sistema de Justicia Mexicano David Josue Ortiz Gonzalez

С меки корици

51.77 € 101.25 лв

Plan Cclico de Formación Juvenil vol I I I MATAIX

Книга

2.68 € 5.24 лв

Künstlerroman Friedrich Wilhelm Hackländer

С твърди корици

65.87 € 128.83 лв

Nos Auteurs Et Compositeurs Dramatiques, Portraits Et Biographies Martin-J

С меки корици

38.07 € 74.47 лв

Blackout Island Sigrí?ur Hagalín Björnsdóttir

С меки корици

9.66 € 18.89 лв

Zwischen Widerstand und Anpassung. Die Rezeption des Nationalsozialismus in ausgewahlten judischen deutschsprachigen Zeitungen bis 1935 Daniel Kulins

С меки корици

15.24 € 29.80 лв

Kibali David Kyeu

С меки корици

11.52 € 22.53 лв

Erfolgsfaktoren deutscher Unternehmen bei der Marktbearbeitung in Indien Anke Hsu

С меки корици

35.96 € 70.32 лв

Tierzuchtgesetz (TierZG) Sarastro Gmbh

С меки корици

8.62 € 16.87 лв

dunkle Tor ins Licht Christine Hagia

С меки корици

16.12 € 31.52 лв

Bologna und Emilia Romagna Carl W. Macke

С твърди корици

20.92 € 40.92 лв

Der blaue Himmel Galsan Tschinag

С меки корици

11.57 € 22.63 лв

Utopia Thomas Morus

С меки корици

11.00 € 21.51 лв

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005.§The 20 revised full papers presented together with 2 invited papers and 4 proof pearls (concise and elegant presentations of interesting examples) were carefully reviewed and selected from 49 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the topics of this volume are theorem proving, verification, recursion and induction, mechanized proofs, mathematical logic, proof theory, type systems, program verification, and proving systems like HOL, Coq, ACL2, Isabelle/HOL and Isabelle/HOLCF.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Theorem Proving in Higher Order Logics

Автор Joe Hurd, Tom Melham

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 2005

Брой страници 414

Баркод 9783540283720

ISBN 3540283722

Код Либристо 01561020

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Тегло 1310

Размери 155 x 235 x 23

Може би ще Ви заинтересува

German Influence on Australian English Markus Bieswanger

С меки корици

49.18 € 96.19 лв

Bioethics of Pain Management Daniel S. Goldberg

С твърди корици

234.77 € 459.18 лв

WILDER GIRLS POWER RORY

С меки корици

17.77 € 34.75 лв

The Book of My Life: de Vita Propria Liber Jerome Cardan

С меки корици

36.32 € 71.03 лв

The Rebirth and Awakening of Wolfie Star-Runner Danielle Freeman

С меки корици

18.39 € 35.96 лв

Discovering Ancient Biblical Hebrew Word Formation: A Workbook for the Discovery of the Original Nature of Derivational Morphology of Ancient Biblical David J Leonardi

С меки корици

18.39 € 35.96 лв

Bucking the Sun Ivan Doig

С меки корици

15.75 € 30.81 лв

The Stranger You Know Jane Casey

С меки корици

20.20 € 39.50 лв

VMware vSphere 5.1 Cookbook Abhilash GB

С меки корици

56.21 € 109.94 лв

Tinsel Devney Perry

С меки корици

18.39 € 35.96 лв

Classical Associations of Places in Italy (1921) Frances Ellis Sabin

С меки корици

42.00 € 82.15 лв

Osprey Emily Ever

С меки корици

16.22 € 31.72 лв

Notes Upon Some of the Obscure Passages in Shakespeare's Plays; With Remarks Upon the Explanations and Amendments of the Commentators in the Editions John Howe

С меки корици

26.60 € 52.03 лв