Please type in at least 2 characters
Please type in at least 2 characters
Browse Categories
Bags & Travel Accessories
Electronics & Mobiles
Computer & Peripherals
Smart TV & Accessories
School Supplies
Toys & Kids Learning
Office Supplies
Arts & Crafts
Arabic Books
English Books
Audio & eBooks
Gaming
Digital Cards
Musical Instruments
Item 1 of 1
Item 1 of 1
Springer
The Programming and Proof System ATES : Advanced Techniques Integration into Efficient Scientific Software
SR 643
Inclusive of VAT
SR39Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR643
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.
Report an issue with this product.
