Logic and algebra of specification
Saved in:
Corporate Author: | NATO Advanced Study Institute of Logic and algebra of Specification |
---|---|
Other Authors: | Bauer, Friedrich Ludwig l942-, Brauer, Wilfried |
Format: | Unknown |
Published: |
Berlin
Springer-Verlag
l993
|
Series: | NATO ASI series. Series F, Computer and system sciences
vol. 94 |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Fork algebras in algebra, logic and computer science
by: Frias, Marcelo Fabian
Published: (2002) -
Handbook of logic in computer science logic and algebraic methods
Published: (2000) -
Temporal logic in specification. Proceedings of the ...
Published: (1989) -
A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000) -
Logic for applications
by: Nerode, Anil 1932-
Published: (1993)