S. Abramsky – författare
Visar alla böcker från författaren S. Abramsky. Handla med fri frakt och snabb leverans.
8 produkter
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
Av S. Abramsky, Dov M. Gabbay m. fl.
Inbunden, 1992
7014 kr
Lägg i varukorg
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters, giving an in-depth overview of one of the major topics in the field. It …
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Av T. S. E. Maibaum, Dov M. Gabbay m. fl.
E-bok, 2001
6123 kr
Lägg i varukorg
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any …
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Av Thomas S. E. Maibaum, S. Abramsky m. fl.
Inbunden, 1992
8290 kr
Lägg i varukorg
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is …
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Inbunden, 1995
7531 kr
Lägg i varukorg
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any …
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Av Samson Abramsky, T. S. Maibaum m. fl.
Inbunden, 1995
7531 kr
Lägg i varukorg
This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to …
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Av Samson Abramsky, Dov M. Gabbay m. fl.
Inbunden, 2001
9547 kr
Lägg i varukorg
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any …
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)
Av S. Abramsky, T.S.E. Maibaum
Häftad, 1991
551 kr
Lägg i varukorg
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances …
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)
Av S. Abramsky, T.S.E. Maibaum
Häftad, 1991
551 kr
Lägg i varukorg
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Colloquium …
