Cargando...
Logic and specification
Autor principal: | Cornelis A Middleburg |
---|---|
Formato: | Printed Book |
Lenguaje: | English |
Publicado: |
Chapman & Hall
1993
|
Ejemplares similares
-
The temporal logic of reactive and concurrent systems/specification
por: zohar Manna,Amir Phueli
Publicado: (1992) -
Specifications /
por: Edwards, Griffith.H .
Publicado: (1961) -
Specifications
por: Ayers, C
Publicado: (1975) -
Logic and logical thinking /
por: Facione, P. A.
Publicado: (1978) -
Logic /
por: Getmanova, A. D.
Publicado: (1989)