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

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
John Wiley & Sons Inc
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0471961302
ISBN 13 
9780471961307
Einband
Tapa blanda
Anzahl der Seiten
239
Herausgeber
Barringer Howard, Fisher Michael, Gabbay Dov, Owens Richard, Reynolds Mark
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780863801907: The Imperative Future: Principles of Executable Temporal Logic (Advanced Software Development Series)

Vorgestellte Ausgabe

ISBN 10:  0863801900 ISBN 13:  9780863801907
Verlag: Research Studies Press, 1996
Hardcover