Code: 06623975

Programming and Proof System ATES

Name: Programming and Proof System ATES
Brand: Springer, Berlin
SKU: 06623975
Price: 110.10 EUR
Availability: InStock
Author: Armand Puccetti
ISBN: 9783540541882

by Armand Puccetti

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 dat ... more

Language: English
Binding: Paperback
Number of pages: 352
Publisher: Springer, Berlin, 1991
More about this

110.10 €

In stock at our supplier
Shipping in 14 - 21 days

Add to wishlist

Richest Man In Babylon & Think and Grow Rich
12.28 €
Buy
CLARICE BEAN UTTERLY ME
7.24 € -24 %
Buy
Relaxační hypnóza
11.88 € -17 %
Buy
Early Netherlandish Painting
21.95 € -1 %
Buy
Smrť v jazere
8.75 € -34 %
Buy
Romantica Clock. Bd.7
7.24 €
Pre-order
Superman & Lois: The Complete Fourth Season
21.95 € -10 %
Buy
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren
27.09 € -9 %
Buy
Ready For Takeoff - Stories from an Air Force Pilot
31.12 €
Buy
Primi Principj Della Gramatica Turca...
26.38 € -1 %
Buy
Project 2 Second Edition: Teacher's Book
23.66 € -4 %
Buy
Sagen, Märchen und Gebräuche aus Tirol.
26.38 € -1 %
Buy
Winter Wonderland
13.39 € -24 %
Buy
Translating the Bhagavadgita: A Workbook for Sanskrit Students
10.77 € -7 %
Buy
St. Aldegundis in Emmerich am Rhein
3.82 €
Buy
Advances in Simulation, Product Design and Development
307.15 € -7 %
Buy
Operating Manual
44.32 € -14 %
Buy
THIS THEN
15.10 €
Buy
Poetical Works of Robert Southey, Esq; VOL. XII
20.14 € -1 %
Buy
The Life and Letters of Edward Gibbon, With his History of the Crusades
26.38 € -1 %
Buy
Homem/Cosmos: Tradiç?o do Tantrismo versus Modernidade
61.14 € -14 %
Buy
Getting Back to Oz Book 2: Dorothy's Wisdom
15.71 € -7 %
Buy
Twenty-Two Goblins
19.13 €
Buy
Experimentos de química clásica
64.56 €
Buy
Significance of Diaspora Politics in the Visual Arts
58.42 € -2 %
Buy
Psalms to Inspire
16.11 € -2 %
Buy
Divergence Theorem and Sets of Finite Perimeter
291.33 €
Pre-order
Wie Musik für die Augen zum Lesen
26.69 € -11 %
Buy
The Girl Behind The Wall
14.90 € -6 %
Buy
piano
18.83 € -2 %
Buy
Apotheose der Grundlosigkeit und andere Texte
34.24 € -14 %
Buy
Catalogue d'Une Precieuse Collection de Tableaux Formant Le Cabinet de Monsieur Le Comte de Morny
12.99 € -1 %
Buy
Mrs. Pendleton's Four-In-Hand
22.76 € -2 %
Buy
Go Figure! New Directions in Advertising Rhetoric
278.03 €
Buy
La Princesse De Cleves
12.28 € -7 %
Buy
Wow! Look What Birds Can Do
12.38 € -26 %
Buy
Choisir l'abondance - Guide de la prospérité
26.38 €
Buy
Pocket Guide to Legal Ethics
45.22 €
Buy
Burnout and Job Satisfaction among Rural and Urban Social Workers
67.18 € -1 %
Buy
Bucking the Railroads on the Kansas Frontier
44.72 €
Buy
Del fonoll a la neu
28.80 €
Buy
Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender
33.54 € -12 %
Buy
History of Modern India
47.24 €
Buy
Manifesto of the Communist Party
8.05 € -7 %
Buy
The Works of Alexander Pope, Esq. in Six Volumes Complete: Miscellaneous Pieces in Verse and Prose
22.76 € -2 %
Buy
Poems, Letters, And Memories Of Philip Sidney Nairn (1916)
38.98 € -1 %
Buy
No 40 Year Journey
19.23 €
Buy
Патогенная Лептоспира и
35.55 € -14 %
Buy
Contribution A l'Etude Des Retentions d'Urine Chez La Femme
14.70 € -2 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Programming and Proof System ATES

Book details
Synopsis
Trending among others

You get 267 loyalty points

Book synopsis

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

110.10 €

Full title: Programming and Proof System ATES
Subtitle: Advanced Techniques Integration into Efficient Scientific Software
Author: Armand Puccetti
Language: English
Binding: Paperback
Number of pages: 352
EAN: 9783540541882
ISBN: 9783540541882
ID: 06623975
Publisher: Springer, Berlin
Weight: 607 g
Dimensions: 244 × 170 × 18 mm
Date of publishing: 24. July 1991