«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Certified Programs and Proofs

Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Certified Programs and Proofs Georges Gonthier
Código Libristo: 02207279
Editores Springer International Publishing AG, noviembre 2013
This book constitutes the refereed proceedings of the Third International Conference on Certified Pr... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

In the Psychology of Belief - Heretics - Bold Journeys with the Enemies of Science Will Store / Libro electrónico Adobe ePub DRM
common.buy 16.29 €
Voyage Au Pays Des Roubles Via Munich Et Berlin (1877) Ivan Golovin / Libro Tapa blanda
common.buy 37.69 €
Biblijski Stihovi za Decu od 2-6 Godina Boyana Atwood / Libro Tapa blanda
common.buy 13.19 €
Pack Huella de carbono / Libro Tapa blanda
common.buy 132.69 €
Chroniques dilettantes Philippe Bélaval / Libro Tapa blanda
common.buy 35.89 €
¿Pero esto también es matemática? ADRIAN PAENZA / Libro Tapa blanda
common.buy 19.90 €
Zbiór kazusów z prawa socjalnego / Libro Tapa blanda
common.buy 14.79 €
Vie de Mgr H.-L. de Quelen, Archeveque de Paris De Grandmaison De Bruno-G / Libro Tapa blanda
common.buy 18.09 €
Feng Shui 2016 Adrien Silverstone / Libro Tapa blanda
common.buy 18.89 €
Auswirkungen von Gehaltsobergrenzen unter besonderer Berucksichtigung von professionellen Sportligen Christoffer Winter / Libro Tapa blanda
common.buy 72.79 €
Älteste Deutsche Dichtungen Karl Wolfskehl / Libro Tapa blanda
common.buy 32.59 €
Rucklagenbildung bei gemeinnutzigen Koerperschaften als Mittel der periodenubergreifenden Selbstfinanzierung Josef Schoberer / Libro Tapa blanda
common.buy 18.89 €
Schadensersatz als Enttäuschungsverarbeitung. Stephan Meder / Libro Tapa blanda
common.buy 56.59 €

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013.§The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections in code verification, elegant proofs, proof libraries, certified transformations and security.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Certified Programs and Proofs
Autor Georges Gonthier, Michael Norrish
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 309
EAN 9783319035444
ISBN 3319035444
Código Libristo 02207279
Editores Springer International Publishing AG
Peso 498
Dimensiones 155 x 235 x 18

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Don't Pet The Dragon C Michael Davis / Libro Tapa blanda
common.buy 18.19 €
Poems of American Partriotism J. Brander Matthews / Libro Tapa blanda
common.buy 23.89 €
Don't Worry 'Bout The Bear Jim Simpson / Libro Tapa blanda
common.buy 26.89 €
The Spongebob Movie: Sponge on the Run: Happy Campers! (Spongebob Squarepants) David Lewman / Libro Tapa blanda
common.buy 5.79 €
Happy Narwhalidays CLANTON BEN / Libro Tapa blanda
common.buy 9.39 €
Conversion of the Roman Empire CHARLES MERIVALE / Libro Tapa blanda
common.buy 22.79 €
Living Privately in Public: Research on Social Media and Responsibility Tlu Krost Symposium 2011 / Libro Tapa blanda
common.buy 7.49 €
Bamagirlluvsu: A brutally honest and entertaining expose about cyber dating Sandy Gowers / Libro Tapa blanda
common.buy 13.49 €
Gardens of Green Lynn M. Dixon / Libro Tapa blanda
common.buy 12.79 €
Warrior Mother Sheila Collins / Libro Tapa blanda
common.buy 14.29 €
Hidden History of Portland, Oregon J. D. Chandler / Libro Tapa blanda
common.buy 19.39 €
The Gilded Age and Later Novels Mark Twain / Libro Tapa dura
common.buy 43.59 €
In Defense of the Founders Republic Lonce H. Bailey / Libro Tapa dura
common.buy 219.79 €
Glimpses of Bengal - Selected from the Letters of Sir Rabindranath Tagore 1885-1895 Rabindranath Tagore / Libro Tapa blanda
common.buy 13.89 €
Kant's Conception Of God F.E. England / Libro Tapa dura
common.buy 45.79 €
Snake Chinese Horoscope & Astrology 2022 Zhouyi Feng Shui / Libro Tapa blanda
common.buy 10.29 €
Paths of Revolution Gilly / Libro Tapa blanda
common.buy 32.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?