283 81 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
330 99 3MB 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
113 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
349 17 26MB Read more
373 78 3MB Read more