Hoppa till sidans huvudinnehåll

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

Inbunden, Engelska, 1995

AvSamson Abramsky,T. S. Maibaum,S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum

7 279 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


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 any serious worker in the areas.

Produktinformation

Hoppa över listan

Mer från samma författare

Del 2

Logic and Computation

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

949 kr

Del 5

Topology via Logic

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

869 kr

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av

Fluid Universe

Norbert Schwarzer, Sonal Datta, Anil Kumar Sharma

Inbunden

7 279 kr