King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science - Böcker
Temporal Logic: Volume 2
Av Dov M Gabbay, M. Finger, M. Reynolds, King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science, Australia) Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Brazil) Reynolds, M. (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Dov M. Gabbay
Inbunden, Engelska, 2000
5 009 kr
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Av Samson Abramsky, Dov M. Gabbay, Dov M Gabbay, T S Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Imperial College London) Abramsky, S. (Department of Computer Science, Department of Computer Science, King's College London) Gabbay, Dov M. (Department of Computer Science, Department of Computer Science, Imperial College London) Maibaum, T. S. E. (Department of Computer Science, Department of Computer Science
Inbunden, Engelska, 2001
8 159 kr