Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Lingua IngleseInglese
Libro In brossura
Libro Programming and Proof System ATES Armand Puccetti
Codice Libristo: 06623975
Casa editrice Springer, Berlin, luglio 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Descrizione completa
? points 240 b
97.89 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Libro Libro
common.buy 67.49 €
Messages of sorrows: in the philosophy of beauty and love Mustafa Sadiq Al -Rafii / Libro elettronico Adobe ePub DRM
common.buy 11.09 €
Relaxační hypnóza Martin Dlabal / Libro In brossura
common.buy 9.79 €
Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendario/Agenda Calendario
common.buy 29.29 €
Balance between poets Zaki Mubarak / Libro elettronico Adobe ePub DRM
common.buy 11.09 €
Primi Principj Della Gramatica Turca... / Libro In brossura
common.buy 23.49 €
Sagen, Märchen und Gebräuche aus Tirol. Ignaz Vinzenz Zingerle / Libro In brossura
common.buy 23.49 €
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Gioco/giocattolo Gioco
common.buy 23.89 €
Homem/Cosmos: Tradiç?o do Tantrismo versus Modernidade Wolfgang Stengel / Libro In brossura
common.buy 53.59 €
Патогенная Лептоспира и Хоноре Хоуеменоу / Libro In brossura
common.buy 31.09 €
Del fonoll a la neu Lladó / Libro In brossura
common.buy 23.79 €
Choisir l'abondance - Guide de la prospérité Line Bolduc / Libro In brossura
common.buy 22.09 €
Na trudne dni Dolindo Ruotolo / Libro In brossura
common.buy 5.29 €
Smrť v jazere Richard Austin Freeman / Libro Rigido
common.buy 9.29 €
La Princesse De Cleves Madame De La Fayette / Libro In brossura
common.buy 13.59 €
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Libro In brossura
common.buy 13.09 €
piano Reina María Rodríguez / Libro In brossura
common.buy 16.79 €
Experimentos de química clásica Lister / Libro In brossura
common.buy 52.69 €
Catalogue d'Une Precieuse Collection de Tableaux Formant Le Cabinet de Monsieur Le Comte de Morny Maulde Et Renou / Libro In brossura
common.buy 11.49 €
In preparazione
Romantica Clock. Bd.7 Yoko Maki / Libro In brossura
common.buy 6.49 €
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Libro In brossura
common.buy 3.29 €
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Libro Rigido
common.buy 23.39 €
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Libro Rigido
common.buy 29.89 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Programming and Proof System ATES
Autore Armand Puccetti
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1991
Numero di pagine 352
EAN 9783540541882
ISBN 9783540541882
Codice Libristo 06623975
Casa editrice Springer, Berlin
Peso 607
Dimensioni 170 x 244 x 18

Categorie

Matematica e Scienze > Matematica > Calcolo e analisi matematica > Analisi numerica
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia e professioni nel settore dei trasporti > Tecnologia e professioni nel settore automobilistico > Meccanica automobilistica e motoristica: competenze e professioni
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia: argomenti di interesse generale > Matematica per ingegneri
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia e ingegneria energetica > Fonti di energia alternative e tecnologie per le risorse rinnovabili
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Manifesto of the Communist Party Friedrich Engels / Libro In brossura
common.buy 8.89 €
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Libro In brossura
common.buy 11.79 €
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Libro In brossura
common.buy 17.89 €
Mrs. Pendleton's Four-In-Hand Gertrude Franklin Horn Atherton / Libro In brossura
common.buy 20.29 €
Winter Wonderland HEIDI CULLINAN / Libro In brossura
common.buy 11.49 €
Twenty-Two Goblins RYDER / Libro Rigido
common.buy 17.29 €
Operating Manual Bikash Poudel / Libro In brossura
common.buy 38.89 €
Wow! Look What Birds Can Do Camilla De La Bedoyere / Libro Rigido
common.buy 10.69 €
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Libro In brossura
common.buy 17.29 €
The Life and Letters of Edward Gibbon, With his History of the Crusades Edward Gibbon / Libro In brossura
common.buy 23.49 €
The Works of Alexander Pope, Esq. in Six Volumes Complete: Miscellaneous Pieces in Verse and Prose Alexander Pope / Libro In brossura
common.buy 24.89 €
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Libro Rigido
common.buy 34.69 €
No 40 Year Journey Brandi Rojas / Libro In brossura
common.buy 13.89 €
Ready For Takeoff - Stories from an Air Force Pilot David Dale / Libro Rigido
common.buy 27.99 €
I migliori
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Libro In brossura
common.buy 11.09 €
Advances in Simulation, Product Design and Development M. S. Shunmugam / Libro In brossura
common.buy 271.79 €
The Girl Behind The Wall Ashley Antoinette / Libro In brossura
common.buy 13.19 €
Significance of Diaspora Politics in the Visual Arts Les Morgan / Libro In brossura
common.buy 52.09 €
Go Figure! New Directions in Advertising Rhetoric Edward F. McQuarrie / Libro Rigido
common.buy 250.39 €
Project 2 Second Edition: Teacher's Book Thomas Hutchinson / Libro In brossura
common.buy 24.69 €
Pocket Guide to Legal Ethics Angela Schneeman / Libro Ad anelli
common.buy 40.39 €
History of Modern India Ishita Banerjee-Dube / Libro In brossura
common.buy 42.19 €
Bucking the Railroads on the Kansas Frontier John N. Mack / Libro In brossura
common.buy 40.69 €
In preparazione
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Libro Rigido
common.buy 260.29 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo