Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Theorem Proving in Higher Order Logics

22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Theorem Proving in Higher Order Logics Stefan Berghofer
Libristo kod: 01650217
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kolovoz 2009
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Provi... Cijeli opis
? points 125 b
51.53 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Chambre de Van Gogh Van Gogh / Knjiga Knjiga
common.buy 6.34 €
Umweg Leben Hark Larsen / Knjiga Meki uvez
common.buy 9.98 €
El pais de Qa Grzegorz Rosinski / Knjiga Meki uvez
common.buy 9.27 €
Giacinto Scelsi, les horizons immémoriaux Castanet / Knjiga Meki uvez
common.buy 39.53 €
Povoljno
ОиР. Космические сказки. Солнечная система/Ульева Е. Елена Ульева / Knjiga Tvrdi uvez
common.buy 9.17 €
Sfide e opportunità delle cure palliative moderne Massimo Costantini / Knjiga Meki uvez
common.buy 6.24 €
Etude de la Fusariose de L pi Sur Orge Et D tection Des Mycotoxines Maaoui Dalel / Knjiga Meki uvez
common.buy 31.96 €
Das Bayerische Konkordat von 1583 Klaus Unterburger / Knjiga Tvrdi uvez
common.buy 56.98 €
Die Politische Rolle Der Frau in Der Romischen Republik Barbara Fortsch / Knjiga Tvrdi uvez
common.buy 59.10 €

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. §The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Theorem Proving in Higher Order Logics
Autor Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 517
EAN 9783642033582
ISBN 364203358X
Libristo kod 01650217
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 807
Dimenzije 155 x 235 x 29

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Seventh Empire Romy Tomlinson / Knjiga Meki uvez
common.buy 24.10 €
Pripremamo
A Midsummer Night`s Dream Helen Hackett / Knjiga Tvrdi uvez
common.buy 86.73 €
Things I Wish I'd Told My Mother James Patterson / Knjiga Meki uvez
common.buy 17.14 €
Our World in Pictures the Dinosaur Book: Includes Other Prehistoric Creatures DK / Knjiga Tvrdi uvez
common.buy 19.36 €
The Masque Of Mary: And Other Poems (1858) Edward Caswall / Knjiga Meki uvez
common.buy 36.30 €
The Story Of The Invention Of Steel Pens Henry Bore / Knjiga Tvrdi uvez
common.buy 33.48 €
Prophets Hafiz Ibn Kathir / Knjiga Meki uvez
common.buy 25.91 €
From the Cave Wall: A Stone Age Story Jg Jones / Knjiga Meki uvez
common.buy 8.66 €
Morris Moats Makes a Move Danny Kyzer / Knjiga Meki uvez
common.buy 10.28 €
Feminism(s) in Early Childhood Kylie Smith / Knjiga Tvrdi uvez
common.buy 143.62 €
Invasion of Virginia, 1781 Michael Cecere / Knjiga Tvrdi uvez
common.buy 27.02 €
Mary Wollstonecraft and the Feminist Imagination Barbara Taylor / Knjiga Tvrdi uvez
common.buy 151.79 €
Top
English Common Reader: A Social History of the Mass Reading Pub Richard Daniel Altick / Knjiga Meki uvez
common.buy 37.61 €
Read and Write Arabic Script (Learn Arabic with Teach Yourself) Mourad Diouri / Knjiga Meki uvez
common.buy 18.04 €
China's New Foreign Policy Tilman Pradt / Knjiga Tvrdi uvez
common.buy 116.59 €
Lives of the Chief Fathers of New England. Edward W Hooker / Knjiga Meki uvez
common.buy 27.83 €
Diabetes Azmina Govindji / Knjiga Meki uvez
common.buy 9.17 €
Living with the Laird Belinda Rathbone / Knjiga Meki uvez
common.buy 14.21 €
International Finance Sercu / Knjiga Tvrdi uvez
common.buy 142.11 €
Receptive Ecumenism and the Call to Catholic Learning Paul D. Murray / Knjiga Tvrdi uvez
common.buy 161.27 €
Pripremamo
Baudelaire's Revenge - A Novel Bob Van Laerhoven / Knjiga Meki uvez
common.buy 11.59 €
Mastering Windows Server 2016 Hyper-V John Savill / Knjiga Meki uvez
common.buy 45.08 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?