Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Theorem Proving in Higher Order Logics

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Theorem Proving in Higher Order Logics Stefan Berghofer
Libristo-code: 01650217
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2009
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Provi... Volledige beschrijving
? points 125 b
51.53 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Chambre de Van Gogh Van Gogh / Boek Boek
common.buy 6.34 €
Umweg Leben Hark Larsen / Boek Gebonden (paperback)
common.buy 9.98 €
Etude de la Fusariose de L pi Sur Orge Et D tection Des Mycotoxines Maaoui Dalel / Boek Gebonden (paperback)
common.buy 31.96 €
Giacinto Scelsi, les horizons immémoriaux Castanet / Boek Gebonden (paperback)
common.buy 41.04 €
Voordelig
ОиР. Космические сказки. Солнечная система/Ульева Е. Елена Ульева / Boek Gebonden (harde band)
common.buy 9.17 €
Sfide e opportunità delle cure palliative moderne Massimo Costantini / Boek Gebonden (paperback)
common.buy 6.34 €
Officina Meccanica: basi e riflessioni. Il disegno, gli utensili, gli elettroutensili e le macchine utensili. La carpenteria: i materiali, la saldatur Luca Negri / Boek Gebonden (paperback)
common.buy 19.46 €
El pais de Qa Grzegorz Rosinski / Boek Gebonden (paperback)
common.buy 9.67 €
Das Bayerische Konkordat von 1583 Klaus Unterburger / Boek Gebonden (harde band)
common.buy 60.11 €
Die Politische Rolle Der Frau in Der Romischen Republik Barbara Fortsch / Boek Gebonden (harde band)
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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Theorem Proving in Higher Order Logics
Auteur Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 517
EAN 9783642033582
ISBN 364203358X
Libristo-code 01650217
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 807
Afmetingen 155 x 235 x 29

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Discrete wiskunde
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Seventh Empire Romy Tomlinson / Boek Gebonden (paperback)
common.buy 24.10 €
Wordt verwacht
A Midsummer Night`s Dream Helen Hackett / Boek Gebonden (harde band)
common.buy 90.87 €
Things I Wish I'd Told My Mother James Patterson / Boek Gebonden (paperback)
common.buy 18.15 €
Our World in Pictures the Dinosaur Book: Includes Other Prehistoric Creatures DK / Boek Gebonden (harde band)
common.buy 19.36 €
The Masque Of Mary: And Other Poems (1858) Edward Caswall / Boek Gebonden (paperback)
common.buy 36.30 €
The Story Of The Invention Of Steel Pens Henry Bore / Boek Gebonden (harde band)
common.buy 33.48 €
Prophets Hafiz Ibn Kathir / Boek Gebonden (paperback)
common.buy 25.91 €
From the Cave Wall: A Stone Age Story Jg Jones / Boek Gebonden (paperback)
common.buy 8.66 €
Morris Moats Makes a Move Danny Kyzer / Boek Gebonden (paperback)
common.buy 10.28 €
UExcel - Life Span Developmental Psychology Gcp Editors / Boek Gebonden (paperback)
common.buy 28.23 €
Feminism(s) in Early Childhood Kylie Smith / Boek Gebonden (harde band)
common.buy 143.62 €
Invasion of Virginia, 1781 Michael Cecere / Boek Gebonden (harde band)
common.buy 27.43 €
Mary Wollstonecraft and the Feminist Imagination Barbara Taylor / Boek Gebonden (harde band)
common.buy 151.79 €
English Common Reader: A Social History of the Mass Reading Pub Richard Daniel Altick / Boek Gebonden (paperback)
common.buy 39.23 €
International Finance Sercu / Boek Gebonden (harde band)
common.buy 142.11 €
Global Outsourcing and Offshoring Farok J. ContractorVikas KumarSumit K. KunduTorben Pedersen / Boek Gebonden (paperback)
common.buy 68.78 €
China's New Foreign Policy Tilman Pradt / Boek Gebonden (harde band)
common.buy 116.59 €
Lives of the Chief Fathers of New England. Edward W Hooker / Boek Gebonden (paperback)
common.buy 27.83 €
Diabetes Azmina Govindji / Boek Gebonden (paperback)
common.buy 9.17 €
Living with the Laird Belinda Rathbone / Boek Gebonden (paperback)
common.buy 15.12 €
Read and Write Arabic Script (Learn Arabic with Teach Yourself) Mourad Diouri / Boek Gebonden (paperback)
common.buy 18.45 €
Receptive Ecumenism and the Call to Catholic Learning Paul D. Murray / Boek Gebonden (harde band)
common.buy 255.58 €
Wordt verwacht
Baudelaire's Revenge - A Novel Bob Van Laerhoven / Boek Gebonden (paperback)
common.buy 12.09 €
Mastering Windows Server 2016 Hyper-V John Savill / Boek Gebonden (paperback)
common.buy 45.08 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?