✨ Buy more, save 5% Ends this month

Logic and Algebra of Specification

$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:: Apr 14, 2014
Number of pages:: 442 pages
Binding:: Paperback or Softback
ISBN-10:: 3642634486
ISBN-13:: 9783642634482

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.