Hoppa till sidans huvudinnehåll

Del i serien Handbook of Logic in Computer Science

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

9 389 kr

Beställningsvara. Skickas inom 3-6 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

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
Del 23

Nets, Terms and Formulas

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

859 kr

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad
Del 2

Logic and Computation

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

Häftad, 1990

969 kr

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Topology via Logic, Häftad
Del 5

Topology via Logic

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

Häftad, 1996

889 kr

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av