King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science - Böcker

Visar alla böcker från författaren King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science.

2 produkter

Kategorier

2 produkter

Del 40

Del 40 - Oxford Logic Guides

Temporal Logic: Volume 2

AvDov 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

4 779 kr

Skickas inom 5-8 vardagar

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

AvSamson Abramsky,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

7 789 kr

Skickas inom 5-8 vardagar