Please type in at least 2 characters
Browse Categories
Office Supplies
School Supplies
Toys & Kids Learning
Arts & Crafts
Arabic Books
English Books
Audio & eBooks
Computers & Tablets
Printers & Scanners
Monitors & Projectors
Computer Supplies
Smartphones
Smartwatches & Wearables
Smartphone Accessories
Speakers, Headsets & Gadgets
Smart Home
Smart TV & Accessories
Video & PC Gaming
Digital Cards
Musical Instruments
Please type in at least 2 characters
Item 1 of 1
Item 1 of 1
Item 1 of 1
Springer
The Programming and Proof System ATES : Advanced Techniques Integration into Efficient Scientific Software
SR 160 Per Month /4 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR 643
Inclusive of VAT
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.
