Hoppa till sidans huvudinnehåll

S. Abramsky - Böcker

Visar alla böcker från författaren S. Abramsky.
7 produkter

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

AvS. Abramsky,Dov M. Gabbay,T. S. E. Maibaum,Professor of Computing Science) Abramsky, S. (Professor of Computing Science,Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science,University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, all at the Imperial College of Science, Technology, and Medicine

Inbunden, Engelska, 1992

7 979 kr

Skickas inom 7-10 vardagar

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

AvThomas S. E. Maibaum,S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum,Reader in Computing Science) Abramsky, S. (Reader in Computing Science,Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science,University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine,Samson Abramsky,D. M. Gabbay

Inbunden, Engelska, 1992

7 789 kr

Skickas inom 5-8 vardagar

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

AvAbramsky,Gabbay,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

Inbunden, Engelska, 1995

7 069 kr

Skickas inom 5-8 vardagar

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

AvSamson Abramsky,T. S. Maibaum,Dov M. 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

Inbunden, Engelska, 1995

7 069 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

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)

AvS. Abramsky,T.S.E. Maibaum,T. S. E. Maibaum

Häftad, Engelska, 1991

699 kr

Skickas inom 10-15 vardagar

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)

AvS. Abramsky,T.S.E. Maibaum,T. S. E. Maibaum

Häftad, Engelska, 1991

699 kr

Skickas inom 10-15 vardagar