Skip to content
Home/ Logic and Algebra of Specification (1993)
Logic and Algebra of Specification (1993)

Logic and Algebra of Specification (1993)

No customer reviews yet ISBN 9783540558132

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.

About the author

Product details

Pub dateJul 5, 1993
ISBN-103540558136
ISBN-139783540558132
LanguageEnglish
Last updated 2026-07-28 10:40
$177.01
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Logic Design
See all
Logic Circuit Design
Shaw, Alan W
$338.71
Signal and Power Integrity in Digital Systems: TTL, CMOS, and BICMOS
Buchanan, James E
$61.24
Photodiode Amplifiers: Op Amp Solutions
Graeme, Jerald G
$101.94
Introduction to Logic Design [With CDROM]
Marcovitz, Alan B
$105.50
Introduction to Logic Design (Revised)
Marcovitz, Alan B
$298.12
System-On-Chip Test Architectures: Nanometer Design for Testability Volume .
Wang, Laung-Terng
$83.70