Bokus
Samson Abramsky, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures, Inbunden

Inbunden, Engelska, 2001

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

Av Samson Abramsky, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Del i serien Handbook of Logic in Computer Science

9547 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning
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 serious worker in the areas.
Produktinformation
Utforska kategorier
Mer om författaren

S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.