Logic and Algebra of Specification (NATO Asi Series: Series F: Computer & Systems Sciences) - Hardcover
Synopsis
Logic and Algebra of Specification 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. Full description
"synopsis" may belong to another edition of this title.
Search results for Logic and Algebra of Specification (NATO Asi Series:...
Stock Image
Logic and Algebra of Specification (NATO Asi Series: Series F: Computer & Systems Sciences)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0387558136I3N00