The Imperative future : principles of executable temporal logic /
Guardado en:
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Taunton, Somerset, England : New York :
Research Studies Press ; Wiley,
c1996.
|
| Series: | Advanced software development series ;
4 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01033nam a22002535a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000045 | ||
| 008 | 960312s1996####enka#####b####001#0#eng## | ||
| 005 | 20151123113234.0 | ||
| 245 | 0 | 4 | |a The Imperative future : |b principles of executable temporal logic / |c edited by Howard Barringer ... [et al.]. |
| 260 | |a Taunton, Somerset, England : |b Research Studies Press ; |a New York : |b Wiley, |c c1996. | ||
| 300 | |a xv, 239 p. : |b ill. ; |c 24 cm. | ||
| 440 | 0 | |a Advanced software development series ; |v 4 | |
| 504 | |a Includes bibliographical references (p. 227-235) and index. | ||
| 020 | |a 0471961302 (Wiley) (hb : alk. paper) | ||
| 020 | |a 0863801900 (Research Studies Press) (hb : alk. paper) | ||
| 700 | 1 | |a Barringer, Howard, |d 1951- | |
| 082 | 0 | 0 | |a 005.13/3 |2 20 |
| 650 | 0 | |a Computer software |x Development. | |
| 650 | 0 | |a Programming languages (Electronic computers) | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 010 | |a 96013638 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.76.D47 |b I47 1996 |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0071 | ||