Algebraic Semantics

Algebraic Semantics  eBooks & eLearning

Posted by step778 at June 8, 2016
Algebraic Semantics

I. Guessarian, "Algebraic Semantics"
1981 | pages: 168 | ISBN: 3540102841 | DJVU | 2 mb

Algebraic Semantics of Imperative Programs  eBooks & eLearning

Posted by alt_f4 at Aug. 30, 2015
Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs (Foundations of Computing) by Joseph A. Goguen
English | May 22, 1996 | ISBN: 026207172X | 229 Pages | PDF | 26 MB

Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run.

Algebraic Semantics in Language and Philosophy (repost)  eBooks & eLearning

Posted by interes at July 9, 2015
Algebraic Semantics in Language and Philosophy (repost)

Algebraic Semantics in Language and Philosophy (Center for the Study of Language and Information - Lecture Notes) by Godehard Link
English | June 1, 1997 | ISBN: 1575860902 | Pages: 350 | PDF | 12 MB

Algebraic Semantics in Language and Philosophy (Repost)  eBooks & eLearning

Posted by DZ123 at March 28, 2015
Algebraic Semantics in Language and Philosophy (Repost)

Godehard Link, "Algebraic Semantics in Language and Philosophy"
English | 1998 | ISBN: 1575860902 | DJVU | pages: 432 | 16,1 mb

Algebraic Semantics in Language and Philosophy (repost)  eBooks & eLearning

Posted by interes at June 8, 2013
Algebraic Semantics in Language and Philosophy (repost)

Algebraic Semantics in Language and Philosophy (Center for the Study of Language and Information - Lecture Notes) by Godehard Link
English | (June 1, 1997) | ISBN: 1575860902 | Pages: 350 | PDF | 12 MB

The philosophical approach of this volume is mainly structuralist, using logical tools to investigate the formal structure of various kinds of objects in our world, as characterised by language and as systematised by philosophy.

Semantics and Algebraic Specification (Repost)  eBooks & eLearning

Posted by step778 at Dec. 27, 2014
Semantics and Algebraic Specification (Repost)

Jens Palsberg, "Semantics and Algebraic Specification"
2009 | pages: 417 | ISBN: 3642041639 | PDF | 4,8 mb

Semantics and Algebraic Specification (repost)  eBooks & eLearning

Posted by Veslefrikk at Aug. 11, 2013
Semantics and Algebraic Specification (repost)

Semantics and Algebraic Specification
Springer | 2009 | ISBN: 3642041639 | 409 pages | PDF | 5,7 MB

Semantics and Algebraic Specification  eBooks & eLearning

Posted by tot167 at Oct. 2, 2009
Semantics and Algebraic Specification

Jens Palsberg, "Semantics and Algebraic Specification"
Springer | 2009 | ISBN: 3642041639 | 409 pages | PDF | 5,7 MB

Algebraic Foundations in Computer Science by Werner Kuich [repost]  eBooks & eLearning

Posted by naag at April 12, 2017
Algebraic Foundations in Computer Science by Werner Kuich [repost]

Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement by Werner Kuich
English | Dec. 20, 2011 | ISBN: 3642248969 | 372 Pages | PDF | 4 MB
Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement (repost)

Werner Kuich, "Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement (Lecture Notes in Computer Science … Computer Science and General Issues)"
English | ISBN: 3642248969 | 2011 | PDF | 373 pages | 4,8 MB