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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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 277 b
114.52 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

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

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

Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Book Hardback
common.buy 41.07 €
Wow! Look What Birds Can Do Camilla De La Bedoyere / Book Hardback
common.buy 13.35 €
Operating Manual Bikash Poudel / Book Paperback
common.buy 44.51 €
Twenty-Two Goblins RYDER / Book Hardback
common.buy 20.02 €
Winter Wonderland HEIDI CULLINAN / Book Paperback
common.buy 14.26 €
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Book Paperback
common.buy 21.24 €
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Book Paperback
common.buy 11.42 €
Ready For Takeoff - Stories from an Air Force Pilot David Dale / Book Hardback
common.buy 32.67 €
The Girl Behind The Wall Ashley Antoinette / Book Paperback
common.buy 15.77 €
Manifesto of the Communist Party Friedrich Engels / Book Paperback
common.buy 8.59 €
Psalms to Inspire DAVID SPIETZ / Book Paperback
common.buy 16.99 €
Significance of Diaspora Politics in the Visual Arts Les Morgan / Book Paperback
common.buy 61.71 €
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Book Paperback
common.buy 70.92 €
Coming soon
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Book Hardback
common.buy 264.77 €
Bucking the Railroads on the Kansas Frontier John N. Mack / Book Paperback
common.buy 46.84 €
History of Modern India Ishita Banerjee-Dube / Book Paperback
common.buy 49.77 €
Pocket Guide to Legal Ethics Angela Schneeman / Book Spiral bound
common.buy 47.64 €
Adult Jigsaw Puzzle Beryl Cook: Date Night Flame Tree Studio / Book Hardback
common.buy 15.37 €

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