Posted by **step778** at June 8, 2016

Posted by **alt_f4** at Aug. 30, 2015

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.

Posted by **interes** at July 9, 2015

English | June 1, 1997 | ISBN: 1575860902 | Pages: 350 | PDF | 12 MB

Posted by **DZ123** at March 28, 2015

English | 1998 | ISBN: 1575860902 | DJVU | pages: 432 | 16,1 mb

Posted by **interes** at June 8, 2013

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.

Posted by **libr** at July 31, 2013

English | ISBN: 3642248969 | 2011 | PDF | 373 pages | 4,8 MB

This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on the subjects taught by Symeon, namely: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages.

Posted by **step778** at Dec. 27, 2014

2009 | pages: 417 | ISBN: 3642041639 | PDF | 4,8 mb

Posted by **Veslefrikk** at Aug. 11, 2013

Springer | 2009 | ISBN: 3642041639 | 409 pages | PDF | 5,7 MB

Posted by **tot167** at Oct. 2, 2009

Springer | 2009 | ISBN: 3642041639 | 409 pages | PDF | 5,7 MB

Posted by **hill0** at Dec. 10, 2016

English | 15 Dec. 2016 | ISBN: 9811026475 | 75 Pages | PDF | 1.04 MB

This book is intended to be an introduction to Diophantine geometry. The central theme of the book is to investigate the distribution of integral points on algebraic varieties.