Skip to content
Home/ Logic and Algebra of Specification (Softcover Reprint of the Original 1st 1993)
Logic and Algebra of Specification (Softcover Reprint of the Original 1st 1993)

Logic and Algebra of Specification (Softcover Reprint of the Original 1st 1993)

No customer reviews yet ISBN 9783642634482

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 dateApr 14, 2014
ISBN-103642634486
ISBN-139783642634482
LanguageEnglish
Last updated 2026-03-23 23:39
$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