Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Langue AnglaisAnglais
Livre Livre de poche
Livre Programming and Proof System ATES Armand Puccetti
Code Libristo: 06623975
Éditeurs Springer, Berlin, juillet 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Description détaillée
? points 277 b
114.77 €
Stockage externe en petites quantités Expédition sous 13-18 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Livre Livre
common.buy 82.65 €
Messages of sorrows: in the philosophy of beauty and love Mustafa Sadiq Al -Rafii / Livre numérique Adobe ePub DRM
common.buy 13.16 €
Relaxační hypnóza Martin Dlabal / Livre Livre de poche
common.buy 11.44 €
Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendrier/agenda Calendrier
common.buy 33.72 €
Balance between poets Zaki Mubarak / Livre numérique Adobe ePub DRM
common.buy 13.16 €
Primi Principj Della Gramatica Turca... / Livre Livre de poche
common.buy 27.85 €
Sagen, Märchen und Gebräuche aus Tirol. Ignaz Vinzenz Zingerle / Livre Livre de poche
common.buy 27.85 €
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Jeu/jouet Jeu
common.buy 27.24 €
Homem/Cosmos: Tradiç?o do Tantrismo versus Modernidade Wolfgang Stengel / Livre Livre de poche
common.buy 61.48 €
Патогенная Лептоспира и Хоноре Хоуеменоу / Livre Livre de poche
common.buy 35.75 €
Del fonoll a la neu Lladó / Livre Livre de poche
common.buy 28.96 €
Choisir l'abondance - Guide de la prospérité Line Bolduc / Livre Livre de poche
common.buy 27.14 €
Na trudne dni Dolindo Ruotolo / Livre Livre de poche
common.buy 6.98 €
Smrť v jazere Richard Austin Freeman / Livre Livre relié
common.buy 10.53 €
La Princesse De Cleves Madame De La Fayette / Livre Livre de poche
common.buy 13.06 €
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Livre Livre de poche
common.buy 15.59 €
piano Reina María Rodríguez / Livre Livre de poche
common.buy 19.95 €
Experimentos de química clásica Lister / Livre Livre de poche
common.buy 64.93 €
Catalogue d'Une Precieuse Collection de Tableaux Formant Le Cabinet de Monsieur Le Comte de Morny Maulde Et Renou / Livre Livre de poche
common.buy 13.67 €
Bientôt
Romantica Clock. Bd.7 Yoko Maki / Livre Livre de poche
common.buy 7.28 €
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Livre Livre de poche
common.buy 3.84 €
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Livre Livre relié
common.buy 26.84 €
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Livre Livre relié
common.buy 34.43 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Programming and Proof System ATES
Auteur Armand Puccetti
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1991
Nombre de pages 352
EAN 9783540541882
ISBN 9783540541882
Code Libristo 06623975
Éditeurs Springer, Berlin
Poids 607
Dimensions 170 x 244 x 18

Catégories

Mathématiques et sciences > Mathématiques > Calcul et analyse mathématique > Analyse numérique
Technologie, ingénierie et agriculture, procédés industriels > Technologie des transports et secteurs d’activité > Technologie automobile et secteurs d’activité > Compétences automobiles (mécanicien automobile)
Technologie, ingénierie et agriculture, procédés industriels > Technologie : généralités > Mathématiques pour les ingénieurs
Technologie, ingénierie et agriculture, procédés industriels > Génie énergétique > Sources d’énergie alternative et renouvelable et technologie
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Manifesto of the Communist Party Friedrich Engels / Livre Livre de poche
common.buy 8.60 €
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Livre Livre de poche
common.buy 11.44 €
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Livre Livre de poche
common.buy 21.26 €
Mrs. Pendleton's Four-In-Hand Gertrude Franklin Horn Atherton / Livre Livre de poche
common.buy 24.10 €
Winter Wonderland HEIDI CULLINAN / Livre Livre de poche
common.buy 14.27 €
Twenty-Two Goblins RYDER / Livre Livre relié
common.buy 20.05 €
Operating Manual Bikash Poudel / Livre Livre de poche
common.buy 44.56 €
Wow! Look What Birds Can Do Camilla De La Bedoyere / Livre Livre relié
common.buy 13.36 €
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Livre Livre de poche
common.buy 16.70 €
The Life and Letters of Edward Gibbon, With his History of the Crusades Edward Gibbon / Livre Livre de poche
common.buy 27.85 €
The Works of Alexander Pope, Esq. in Six Volumes Complete: Miscellaneous Pieces in Verse and Prose Alexander Pope / Livre Livre de poche
common.buy 24.10 €
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Livre Livre relié
common.buy 41.12 €
No 40 Year Journey Brandi Rojas / Livre Livre de poche
common.buy 19.34 €
Ready For Takeoff - Stories from an Air Force Pilot David Dale / Livre Livre relié
common.buy 32.71 €
Top
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Livre Livre de poche
common.buy 12.96 €
Advances in Simulation, Product Design and Development M. S. Shunmugam / Livre Livre de poche
common.buy 308.87 €
The Girl Behind The Wall Ashley Antoinette / Livre Livre de poche
common.buy 15.79 €
Significance of Diaspora Politics in the Visual Arts Les Morgan / Livre Livre de poche
common.buy 61.79 €
Go Figure! New Directions in Advertising Rhetoric Edward F. McQuarrie / Livre Livre relié
common.buy 292.45 €
Project 2 Second Edition: Teacher's Book Thomas Hutchinson / Livre Livre de poche
common.buy 25.01 €
Pocket Guide to Legal Ethics Angela Schneeman / Livre Reliure à anneaux
common.buy 47.70 €
History of Modern India Ishita Banerjee-Dube / Livre Livre de poche
common.buy 49.83 €
Bucking the Railroads on the Kansas Frontier John N. Mack / Livre Livre de poche
common.buy 46.89 €
Bientôt
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Livre Livre relié
common.buy 292.96 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?