Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658528
Price: 53.3 EUR
Availability: InStock
Author: Marko Van Eekelen
ISBN: 9783642228629

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01658528

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avgust 2011

This book constitutes the refereed proceedings of the Second International Conference on Interactive... Celoten opis

Koda Libristo: 01658528

129 b

53.30 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Chromatic herbarium Massimo Gardone

Mehka

41.44 €

Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci

Mehka

14.18 €

Aufgewacht, lieber Osterhase: Mein Oster-Mitmachbuch Anna Karina Birkenstock

Kartonka

5.46 €

Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin

Trda

26.95 €

Rossa e plebea. Pisa, mezzo secolo fa Luciano Luciani

Mehka

23.81 €

Mi ketten - Egy év az erdőben Michael Engler

Trda

10.83 €

These Pour La Licence: Soutenue Publiquement A La Faculte de Droit de Strasbourg GAZIN-J

Mehka

13.06 €

Albert Einstein Johannes Wickert

Mehka

8.60 €

Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich

Mehka

15.29 €

Pferdekrankheiten Wilfried Bellinghausen

Mehka

16.91 €

Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann

Mehka

8.50 €

Resume Des Debats Pour Les Proprietaires Opposants A l'Impot Des Egouts Sans Auteur

Mehka

11.34 €

Terror Ferdinand von Schirach

Mehka

10.33 €

Ridiculum Vitae Orta

Mehka

12.25 €

Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil

Mehka

12.25 €

Commentaire Sur La Loi Du 29 Germinal an XI, Relative Aux Successions, Code Civil CHABOT-G-A

Mehka

21.17 €

"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter

Mehka

15.29 €

Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán

Mehka

41.95 €

BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack

Mehka

11.54 €

Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa

Mehka

8.50 €

Walt Disney Captivating History

Trda

20.36 €

Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Knjiga

Knjiga

22.59 €

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.