Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Language EnglishEnglish
Book Paperback
Book Programming and Proof System ATES Armand Puccetti
Libristo code: 06623975
Publishers Springer, Berlin, July 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Full description
? points 290 b
118.29 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 37.99 €
Relaxační hypnóza Martin Dlabal / Book Paperback
common.buy 11.29 €
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Book Book
common.buy 85.29 €
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Game/Toy Game
common.buy 28.39 €
Balance between poets Zaki Mubarak / E-book Adobe ePub DRM
common.buy 13.69 €
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Book Hardback
common.buy 39.90 €
Патогенная Лептоспира и Хоноре Хоуеменоу / Book Paperback
common.buy 37.29 €
Choisir l'abondance - Guide de la prospérité Line Bolduc / Book Paperback
common.buy 28.39 €
Smrť v jazere Richard Austin Freeman / Book Hardback
common.buy 10.99 €
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Book Paperback
common.buy 16.09 €
piano Reina María Rodríguez / Book Paperback
common.buy 20.59 €
Experimentos de química clásica Lister / Book Paperback
common.buy 67.09 €
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Book Paperback
common.buy 37.99 €
Coming soon
Romantica Clock. Bd.7 Yoko Maki / Book Paperback
common.buy 7.59 €
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Book Paperback
common.buy 4.19 €
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Book Hardback
common.buy 29.90 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Programming and Proof System ATES
Author Armand Puccetti
Language English
Binding Book - Paperback
Date of issue 1991
Number of pages 352
EAN 9783540541882
ISBN 9783540541882
Libristo code 06623975
Publishers Springer, Berlin
Weight 607
Dimensions 170 x 244 x 18

Categories

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Technology, Engineering, Agriculture > Transport technology & trades > Automotive technology & trades > Automotive (motor mechanic) skills
Technology, Engineering, Agriculture > Technology: general issues > Maths for engineers
Technology, Engineering, Agriculture > Energy technology & engineering > Alternative & renewable energy sources & technology
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

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

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?