Time & Logic: A Computational Approach (Routledge Revivals) - Tapa blanda

 
9780367336578: Time & Logic: A Computational Approach (Routledge Revivals)

Sinopsis

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications.

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

Otras ediciones populares con el mismo título

9780367336530: Time & Logic: A Computational Approach (Routledge Revivals)

Edición Destacada

ISBN 10:  0367336537 ISBN 13:  9780367336530
Editorial: Routledge, 2020
Tapa dura