Detail Image
click to view more

Logic and Algebra of Specification (1993)

by

$160.95

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

Description

This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.

Last updated on

Product Details

  • Jul 5, 1993 Pub Date:
  • 3540558136 ISBN-10:
  • 9783540558132 ISBN-13:
  • English Language