Loading...
Logic and specification
| Main Author: | Cornelis A Middleburg |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Chapman & Hall
1993
|
Similar Items
-
The temporal logic of reactive and concurrent systems/specification
by: zohar Manna,Amir Phueli
Published: (1992) -
Specifications /
by: Edwards, Griffith.H .
Published: (1961) -
Specifications
by: Ayers, C
Published: (1975) -
Logic and logical thinking /
by: Facione, P. A.
Published: (1978) -
Logic /
by: Getmanova, A. D.
Published: (1989)