Detail Image
click to view more

Programming and Proof System Ates: Advanced Techniques Integration Into Efficient Scientific Softwar

by

$104.25

List Price: $109.99
Save: $5.74 (5%)
add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Tuesday, July 22, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection

Description

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.

Last updated on

Product Details

  • Springer Brand
  • Jul 24, 1991 Pub Date:
  • 3540541888 ISBN-10:
  • 9783540541882 ISBN-13:
  • English Language
  • 9.61 in * 0.8 in * 6.69 in Dimensions:
  • 1 lb Weight: