The Imperative Future: Principles of Executable Temporal Logic - Couverture rigide

 
9780863801907: The Imperative Future: Principles of Executable Temporal Logic
Couverture rigide
ISBN 10 : 0863801900 ISBN 13 : 9780863801907
Editeur : Research Studies Press, 1996
Éditeur
Research Studies Press
Date d'édition
1996
Langue
anglais
ISBN 10 
0863801900
ISBN 13 
9780863801907
Reliure
Relié
Nombre de pages
256
Éditeur
Barringer H., Fisher Michael, Gabbay Dov M., Owens Richard, Reynolds Mark
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780471961307: The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic

Edition présentée

ISBN 10 :  0471961302 ISBN 13 :  9780471961307
Editeur : John Wiley & Sons Inc, 1996
Couverture souple