This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of ...
Although vital to modern software development, Java and object-oriented programming can pose significant challenges to newcomers. This text, unique in both scope and approach and accompanied by an interactive CD-ROM, addresses that learning curve by providing a careful, classroom-tested presentation of Java -- from the fundamentals of variables, ...
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to ...
This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as another topic of study, this book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. "This is a ...
Today's scientist or engineer has many more computerized problem solving environments available than those of only a short time ago and so they are less dependant on mastering a scientific programming language such as FORTRAN. Many universities have made the switch to teaching the programming language C to science and engineering students, as it ...
"ProgramLive" is a multimedia, Java-based "livetext" on programming. A livetext provides a more effective learning experience than other instructional media does because readers learn by watching, listening, and doing. While "ProgramLive" is the first livetext to provide instruction in computer programming, it is not the first livetext. It ...
This book is interested in making programming an exciting topic. This is another approach to programming, and approach in which programs can be developed reliably, with attention to the real issues. It is a practical approach based on methodically programs from their specifications.
More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four technical contributions in different areas of endeavor, ...
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
