Logic and Algebra of Specification /
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are alsodue to new theor...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint : Springer,
1993.
|
| Series: | NATO ASI Series, Series F: Computer & Systems Sciences ; ;
94. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
