Verifiable Programming : Ole-Johan Dahl : 9780139510625 : Blackwell's

Verifiable Programming - Prentice Hall International Series in Computer Science

Book (01 Feb 1992)

Not available for sale

Out of stock

About the Publisher

Prentice Hall is a leading publisher of academic and reference textbooks. It publishes in most of the main academic disciplines and on cutting-edge topics in business, computer science, engineering and information technology. Prentice Hall is also a leading authority on Java. Prentice Hall's market leading textbooks are supported by Course Compass. It is a solution to course management that combines state of the art Blackboard technology with quality Prentice Hall content. The textbooks are also supported by companion websites. Prentice Hall has established itself as one of the leading professional and technical publishers within the industry. Using premier authors from around the globe, it offers computing professionals the information they need. In order to provide the best, most informative, accurate, and up-to-date publications, Prentice Hall has established lasting co-publishing relationships with leaders in the technology arena. Series are written by experts within the company, and consequently the material produced is of the best standard.

ISBN:	9780139510625
Publisher:	Prentice Hall
Imprint:	Prentice Hall
Pub date:	01 Feb 1992
DEWEY:	005.14
DEWEY edition:	20
Number of pages:	269
Weight:	428g
Height:	236mm
Width:	176mm
Spine width:	15mm

Verifiable Programming - Prentice Hall International Series in Computer Science

Publisher's Synopsis

About the Publisher

Book information

We recommend