337 91 3MB
English Pages 486 Year 1986
Report DMCA / Copyright
DOWNLOAD DJVU FILE
Written by a world-renowned expert on programming methodology, and the winner of the 2008 Turing Award, this book shows
305 122 3MB Read more
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in
332 99 3MB Read more
121 59 51MB Read more
498 27 897KB Read more
Art produced outside hegemonic centers is often seen as a form of derivation or relegated to a provisional status. Formi
156 98 34MB Read more
“The Use of Abstraction and Logic in Mathematics” is an edited book consisting of 16 contemporaneous open-access article
150 68 16MB Read more
114 69 12MB Read more
175 80 5MB Read more
This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps,
180 99 7MB Read more
351 17 26MB Read more