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
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Programming and Proof System ATES
Advanced Techniques Integration into Efficient Scientific Software
Language
English
English
Book
Paperback
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr...
Full description
Libristo code: 06623975
?
277 b
277 b
114.48
€
Low in stock at our supplier
Shipping in 13-18 days
Up to 30 days for returns
Customers also purchased
/
Calendar
33.64
€
/
Paperback
35.66
€
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
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
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
Technology, Engineering, Agriculture
>
Transport technology & trades
>
Automotive technology & trades
>
Automotive (motor mechanic) skills
Technology, Engineering, Agriculture
>
Energy technology & engineering
>
Alternative & renewable energy sources & technology
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 addressYou might also be interested in
/
Paperback
27.78
€
