«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.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Libro Libro
common.buy 79.49 €
Messages of sorrows: in the philosophy of beauty and love Mustafa Sadiq Al -Rafii / Libro electrónico Adobe ePub DRM
common.buy 13.89 €
Relaxační hypnóza Martin Dlabal / Libro Tapa blanda
common.buy 12.29 €
Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 37.09 €
Balance between poets Zaki Mubarak / Libro electrónico Adobe ePub DRM
common.buy 13.89 €
Primi Principj Della Gramatica Turca... / Libro Tapa blanda
common.buy 28.79 €
Sagen, Märchen und Gebräuche aus Tirol. Ignaz Vinzenz Zingerle / Libro Tapa blanda
common.buy 28.79 €
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Juego/Juguete Juego
common.buy 29.89 €
Homem/Cosmos: Tradiç?o do Tantrismo versus Modernidade Wolfgang Stengel / Libro Tapa blanda
common.buy 67.79 €
Патогенная Лептоспира и Хоноре Хоуеменоу / Libro Tapa blanda
common.buy 39.39 €
Del fonoll a la neu Lladó / Libro Tapa blanda
common.buy 29.09 €
Choisir l'abondance - Guide de la prospérité Line Bolduc / Libro Tapa blanda
common.buy 27.29 €
Na trudne dni Dolindo Ruotolo / Libro Tapa blanda
common.buy 6.99 €
Smrť v jazere Richard Austin Freeman / Libro Tapa dura
common.buy 11.29 €
La Princesse De Cleves Madame De La Fayette / Libro Tapa blanda
common.buy 13.59 €
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.29 €
Catalogue d'Une Precieuse Collection de Tableaux Formant Le Cabinet de Monsieur Le Comte de Morny Maulde Et Renou / Libro Tapa blanda
common.buy 14.19 €
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 3.99 €
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Libro Tapa dura
common.buy 29.59 €
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Libro Tapa dura
common.buy 38.19 €

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

Manifesto of the Communist Party Friedrich Engels / Libro Tapa blanda
common.buy 8.89 €
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Libro Tapa blanda
common.buy 11.79 €
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Libro Tapa blanda
common.buy 21.99 €
Mrs. Pendleton's Four-In-Hand Gertrude Franklin Horn Atherton / Libro Tapa blanda
common.buy 24.89 €
Winter Wonderland HEIDI CULLINAN / Libro Tapa blanda
common.buy 14.99 €
Twenty-Two Goblins RYDER / Libro Tapa dura
common.buy 20.69 €
Operating Manual Bikash Poudel / Libro Tapa blanda
common.buy 49.19 €
Wow! Look What Birds Can Do Camilla De La Bedoyere / Libro Tapa dura
common.buy 13.99 €
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Libro Tapa blanda
common.buy 17.29 €
The Life and Letters of Edward Gibbon, With his History of the Crusades Edward Gibbon / Libro Tapa blanda
common.buy 28.79 €
The Works of Alexander Pope, Esq. in Six Volumes Complete: Miscellaneous Pieces in Verse and Prose Alexander Pope / Libro Tapa blanda
common.buy 24.89 €
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Libro Tapa dura
common.buy 42.59 €
No 40 Year Journey Brandi Rojas / Libro Tapa blanda
common.buy 20.79 €
Ready For Takeoff - Stories from an Air Force Pilot David Dale / Libro Tapa dura
common.buy 33.69 €
Popular
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Libro Tapa blanda
common.buy 13.39 €
Advances in Simulation, Product Design and Development M. S. Shunmugam / Libro Tapa blanda
common.buy 337.89 €
The Girl Behind The Wall Ashley Antoinette / Libro Tapa blanda
common.buy 16.39 €
Significance of Diaspora Politics in the Visual Arts Les Morgan / Libro Tapa blanda
common.buy 63.89 €
Go Figure! New Directions in Advertising Rhetoric Edward F. McQuarrie / Libro Tapa dura
common.buy 301.49 €
Project 2 Second Edition: Teacher's Book Thomas Hutchinson / Libro Tapa blanda
common.buy 25.19 €
Pocket Guide to Legal Ethics Angela Schneeman / Libro Anillas de fijación
common.buy 50.29 €
History of Modern India Ishita Banerjee-Dube / Libro Tapa blanda
common.buy 52.49 €
Bucking the Railroads on the Kansas Frontier John N. Mack / Libro Tapa blanda
common.buy 48.19 €
Próximamente
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Libro Tapa dura
common.buy 309.39 €

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?