✨ Buy more, save 5% Ends this month

Logic and Algebra of Specification - Hardback

$179.29

(No reviews yet) Write a Review

Physical book delivery

Shipping calculated at checkout.

Estimated delivery

5–10 business days

in stock

Adding to cart… The item has been added

Product Details

Author:: Friedrich L. Bauer
Publisher:: Springer
Publication Date:: Jul 05, 1993
Number of pages:: 442 pages
Binding:: Hardback or Cased Book
ISBN-10:: 3540558136
ISBN-13:: 9783540558132

Overview

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.