University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine - Böcker
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Av Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine, Dov M Gabbay, T S E Maibaum
Inbunden, Engelska, 1995
7 409 kr
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Av Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine, Dov M Gabbay, T S E Maibaum
Inbunden, Engelska, 1995
7 409 kr