Monographs in Computer Science

By: Annabelle Mclver (Editor), Carroll Morgan (Editor)

Write A Review

Hardcover | 1 October 2002

At a Glance

Hardcover
488 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

The IFIP working group 2. 3 (Programming Methodology) is made up of internationally prominent computing academics and industrialists, and broadly its purpose is to invent, discuss and assess new and emerging techniques for improving the quality of software and systems. The group's membership has been influential in topics such as program correctness, object orientation, operating systems and distributed computing; indeed many thriving areas of research nowadays are based on ideas which were once scrutinized by the 2. 3 working committee. This is a volume of chapters written by the membership which will form a reference and guide to the front line of research activity in programming methodology. The range of subjects reflects the current interests of the members, and will offer insightful and controversial opinions on modern programming methods and practice. The material is arranged in thematic sections, each one introduced by a problem which epitomizes the spirit of that topic. The exemplary problem will encourage vigorous discussion and will form the basis for an introduction/tutorial for its section.

Industry Reviews

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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Networking & Communications Computer Programming & Software Development Programming & Scripting Languages Software Engineering Compilers & Interpreters

Other Editions and Formats

Paperback

Published: 3rd December 2010

View Product

Preface
Contributors
Models and correctness	p. 1
Wanted: a compositional approach to concurrency	p. 5
Enforcing behavior with contracts	p. 17
Asynchronous progress	p. 57
A reduction theorem for concurrent object-oriented programs	p. 69
Abstractions from time	p. 95
A predicative semantics for real-time refinement	p. 109
Aspects of system description	p. 137
Modelling architectures for dynamic systems	p. 161
"What is a method?" - an essay on some aspects of domain engineering	p. 175
Programming techniques	p. 205
Object-oriented programming and software development - a critical assessment	p. 211
A trace model for pointers and objects	p. 223
Object models as heap invariants	p. 247
Abstraction dependencies	p. 269
Type systems	p. 293
What do types mean? - From intrinsic to extrinsic semantics	p. 309
Applications and automated theories	p. 329
Automated verification using deduction, exploration, and abstraction	p. 333
An experiment in feature engineering	p. 353
High-level circuit design	p. 381
Power analysis: attacks and countermeasures	p. 415
A probabilistic approach to information hiding	p. 441
Index	p. 461
Table of Contents provided by Blackwell. All Rights Reserved.

Monographs in Computer Science

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Compilers & Interpreters

C# Programming in easy steps

Master C# fundamentals!

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Applied Mathematics with F#

Java in Two Semesters

Featuring JavaFX

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, June 29-July 3, 2026, Proceedings

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison [With Access Code]

O'Reilly Ser.

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Pragmatic Programmers

Pragmatic Programmers

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Siberian School of Algebra and Logic

Sibirskaia Shkola Algebry I Logiki.

Lecture Notes in Computer Science

Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings

Advances in Formal Methods

ACL2 Case Studies

Lecture Notes in Computer Science

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Advances in Formal Methods

Algebraic Specification in Action

This product is categorised by