Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 1995
5 603 kr
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
AvT. S. E. Maibaum,Dov M. Gabbay
E-bok
PDF, Engelska, 20015 736 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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
Hoppa över listan
Du kanske också är intresserad av
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 1992
6 112 kr
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Samson Abramsky, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 2001
6 333 kr
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 1992
6 571 kr
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 1995
5 755 kr
Spectroscopic Properties of Inorganic and Organometallic Compounds
Jack Yarwood, Richard Douthwaite, Simon Duckett
Inbunden, 2011
5 738 kr
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
S. Abramsky, T.S.E. Maibaum
Häftad, 1991
549 kr
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
S. Abramsky, T.S.E. Maibaum
Häftad, 1991
549 kr