Logic and Algebra of Specification (NATO Asi Series: Series F: Computer & Systems Sciences). This item is unavailable.
Language: English
Published by Springer Verlag
- Hardcover
- Used

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
5-star seller
AbeBooks seller since March 24, 2009
Unavailable
Hardcover
Condition: Used - Good
US$ 80.17
Item description from seller
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Seller Inventory # G0387558136I3N00
- Title
- Logic and Algebra of Specification (NATO Asi Series: Series F: Computer & Systems Sciences)
- Author
- Friedrich L. Bauer; Wilfried Brauer
- Publisher
- Springer Verlag
- Condition
- Good
- Dust jacket
- No Jacket
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0387558136
- ISBN 13
- 9780387558134
- Item weight
- 0.51 pounds
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.