Annabelle Mclver

Programming Methodology - Monographs in Computer Science Annabelle Mclver Softcover Reprint of Hardcover 1st Ed. 2003 edition

Description for Sales People: *A state-of-the-art survey and tutorial for key new topics in programming methodology written by leading international computer scientists and programmers *Essential guide to modern software theory and practice for programmers, developers, computer scientists, and software engineersReview Quotes: From the reviews: "The book represents a collection of essays concerning the various topics of programming methodology. A sample selected above from twenty essays of the book shows the topics cover relatively broad spectrum of programming methodology. Each essay concludes with a good set of references. This interesting book may be recommended namely to readers actively working in the field." (Ivan Martinec, Zentralblatt MATH, Vol. 1030, 2004) Review Quotes: From the reviews: "The book represents a collection of essays concerning the various topics of programming methodology. A sample selected above from twenty essays of the book shows the topics cover relatively broad spectrum of programming methodology. Each essay concludes with a good set of references. This interesting book may be recommended namely to readers actively working in the field." (Ivan Martinec, Zentralblatt MATH, Vol. 1030, 2004) Table of Contents: (parts and sections listed) Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior] Part II: Programming techniques [object orientation, type theory] Part III: Applications and automated theories [putting theories into practice by automation, programming circuits, security and keeping secrets]Review Quotes: From the reviews: "The book represents a collection of essays concerning the various topics of programming methodology. A sample selected above from twenty essays of the book shows the topics cover relatively broad spectrum of programming methodology. Each essay concludes with a good set of references. This interesting book may be recommended namely to readers actively working in the field." (Ivan Martinec, Zentralblatt MATH, Vol. 1030, 2004)"Marc Notes: Originally published: 2003.; Includes bibliographical references and index.; The IFIP working group 2.3 consists of computing academics and industrialists, who invent, discuss and assess new and emerging techniques for software and systems. This volume is written as a reference and guide to research in programming methodology. Review Quotes: From the reviews: "The book represents a collection of essays concerning the various topics of programming methodology. A sample selected above from twenty essays of the book shows the topics cover relatively broad spectrum of programming methodology. Each essay concludes with a good set of references. This interesting book may be recommended namely to readers actively working in the field." (Ivan Martinec, Zentralblatt MATH, Vol. 1030, 2004)"