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 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 285 b
41 203 Ft
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

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

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 12 267 Ft
The Girl Behind The Wall Ashley Antoinette / Book Paperback
common.buy 5 965 Ft
No 40 Year Journey Brandi Rojas / Book Paperback
common.buy 6 298 Ft
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Book Hardback
common.buy 15 509 Ft
Manifesto of the Communist Party Friedrich Engels / Book Paperback
common.buy 3 243 Ft
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Book Paperback
common.buy 6 316 Ft
Advances in Simulation, Product Design and Development M. S. Shunmugam / Book Paperback
common.buy 117 422 Ft
Wow! Look What Birds Can Do Camilla De La Bedoyere / Book Hardback
common.buy 4 850 Ft
Operating Manual Bikash Poudel / Book Paperback
common.buy 17 062 Ft
Twenty-Two Goblins RYDER / Book Hardback
common.buy 7 504 Ft
Winter Wonderland HEIDI CULLINAN / Book Paperback
common.buy 5 517 Ft
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Book Paperback
common.buy 8 024 Ft
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Book Paperback
common.buy 4 329 Ft
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Book Paperback
common.buy 4 850 Ft
Psalms to Inspire DAVID SPIETZ / Book Paperback
common.buy 6 430 Ft
Significance of Diaspora Politics in the Visual Arts Les Morgan / Book Paperback
common.buy 23 287 Ft
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Book Paperback
common.buy 26 762 Ft
Coming soon
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Book Hardback
common.buy 97 409 Ft
Bucking the Railroads on the Kansas Frontier John N. Mack / Book Paperback
common.buy 17 478 Ft
History of Modern India Ishita Banerjee-Dube / Book Paperback
common.buy 17 450 Ft
Pocket Guide to Legal Ethics Angela Schneeman / Book Spiral bound
common.buy 16 697 Ft

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?