«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.

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Idioma InglésInglés
Libro Tapa blanda
Libro Programming and Proof System ATES Armand Puccetti
Código Libristo: 06623975
Editores Springer, Berlin, julio 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Descripción completa
? points 290 b
118.29 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 37.09 €
Relaxační hypnóza Martin Dlabal / Libro Tapa blanda
common.buy 12.29 €
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Libro Libro
common.buy 79.59 €
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Juego/Juguete Juego
common.buy 29.89 €
Balance between poets Zaki Mubarak / Libro electrónico Adobe ePub DRM
common.buy 13.89 €
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Libro Tapa dura
common.buy 38.19 €
Патогенная Лептоспира и Хоноре Хоуеменоу / Libro Tapa blanda
common.buy 39.39 €
Choisir l'abondance - Guide de la prospérité Line Bolduc / Libro Tapa blanda
common.buy 27.59 €
Smrť v jazere Richard Austin Freeman / Libro Tapa dura
common.buy 11.29 €
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Libro Tapa blanda
common.buy 16.09 €
piano Reina María Rodríguez / Libro Tapa blanda
common.buy 20.59 €
Experimentos de química clásica Lister / Libro Tapa blanda
common.buy 62.49 €
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Libro Tapa blanda
common.buy 29.49 €
Próximamente
Romantica Clock. Bd.7 Yoko Maki / Libro Tapa blanda
common.buy 7.89 €
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Libro Tapa blanda
common.buy 4.29 €
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Libro Tapa dura
common.buy 29.59 €

This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.

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 Programming and Proof System ATES
Autor Armand Puccetti
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1991
Número de páginas 352
EAN 9783540541882
ISBN 9783540541882
Código Libristo 06623975
Editores Springer, Berlin
Peso 607
Dimensiones 170 x 244 x 18

Categorías

Matemáticas y ciencias > Matemáticas > Cálculo y análisis matemático > Análisis numérico
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología y actividades del transporte > Tecnología y actividades del automóvil > Destrezas relacionadas con el automóvil (mecánica del automóvil)
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología: cuestiones generales > Matemáticas para ingenieros
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología e ingeniería energética > Tecnología y fuentes de energía alternativa y renovable
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

Ready For Takeoff - Stories from an Air Force Pilot David Dale / Libro Tapa dura
common.buy 33.69 €
The Girl Behind The Wall Ashley Antoinette / Libro Tapa blanda
common.buy 16.39 €
Advances in Simulation, Product Design and Development M. S. Shunmugam / Libro Tapa blanda
common.buy 337.89 €
No 40 Year Journey Brandi Rojas / Libro Tapa blanda
common.buy 17.19 €
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Libro Tapa dura
common.buy 42.59 €
Manifesto of the Communist Party Friedrich Engels / Libro Tapa blanda
common.buy 8.89 €
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Libro Tapa blanda
common.buy 17.29 €
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Libro Tapa blanda
common.buy 13.39 €
Wow! Look What Birds Can Do Camilla De La Bedoyere / Libro Tapa dura
common.buy 13.99 €
Operating Manual Bikash Poudel / Libro Tapa blanda
common.buy 49.19 €
Twenty-Two Goblins RYDER / Libro Tapa dura
common.buy 20.69 €
Winter Wonderland HEIDI CULLINAN / Libro Tapa blanda
common.buy 14.99 €
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Libro Tapa blanda
common.buy 21.99 €
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Libro Tapa blanda
common.buy 11.79 €
The Life and Letters of Edward Gibbon, With his History of the Crusades Edward Gibbon / Libro Tapa blanda
common.buy 28.79 €
Psalms to Inspire DAVID SPIETZ / Libro Tapa blanda
common.buy 17.69 €
Significance of Diaspora Politics in the Visual Arts Les Morgan / Libro Tapa blanda
common.buy 63.89 €
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Libro Tapa blanda
common.buy 73.49 €
Próximamente
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Libro Tapa dura
common.buy 279.99 €
Bucking the Railroads on the Kansas Frontier John N. Mack / Libro Tapa blanda
common.buy 48.19 €
History of Modern India Ishita Banerjee-Dube / Libro Tapa blanda
common.buy 52.49 €
Pocket Guide to Legal Ethics Angela Schneeman / Libro Anillas de fijación
common.buy 50.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?