The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic (Advanced Software Development Series) - Tapa blanda

 
9780471961307: The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic (Advanced Software Development Series)
Tapa blanda
ISBN 10: 0471961302 ISBN 13: 9780471961307
Editorial: John Wiley & Sons Inc, 1996

Esta edición ISBN ya no está disponible.

Sinopsis

A presentation of the underlying principles and applications of executable temporal logic describing research on its use as a programming language. Eight computer scientists outline the "imperative future" approach, showing how a range of dynamic behaviors can be represented within METATEM as a powerful tool for researchers involved with time-dependent phenomena in computer science and artificial intelligence. Includes equations and code. Annotation c. by Book News, Inc., Portland, Or.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
John Wiley & Sons Inc
Año de publicación
1996
Idioma
Inglés
ISBN 10 
0471961302
ISBN 13 
9780471961307
Encuadernación
Tapa blanda
Número de páginas
239
Editor
Barringer Howard, Fisher Michael, Gabbay Dov, Owens Richard, Reynolds Mark
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9780863801907: The Imperative Future: Principles of Executable Temporal Logic: No 4 (Advanced software development series)

Edición Destacada

ISBN 10:  0863801900 ISBN 13:  9780863801907
Editorial: Research Studies Press, 1996
Tapa dura