Handbook of Logic in Computer Science – serie

Visar alla böcker i serien Handbook of Logic in Computer Science. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   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 …

2. 

   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 …

3. 

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

   Av Abramsky, Gabbay m. fl.

   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 …

4. 

   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 …

5. 

   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 …