An edition of A programming approach to formal methods (1994)

A programming approach to formal methods

by Chris Casey

0 Ratings
0 Want to read
0 Currently reading
0 Have read

Chris Casey

Not in Library

My Reading Lists:

Use this Work

Create a new list

0 Ratings
0 Want to read
0 Currently reading
0 Have read

Check nearby libraries

Buy this book

Last edited by WorkBot

February 6, 2010 | History

Edit

An edition of A programming approach to formal methods (1994)

A programming approach to formal methods

by Chris Casey

0 Ratings
0 Want to read
0 Currently reading
0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date

1994

Publisher

McGraw-Hill Book Co.

Language

English

Pages

262

Check nearby libraries

Buy this book

Showing 1 featured edition. View all 1 editions?

Edition	Availability
1 A programming approach to formal methods 1994, McGraw-Hill Book Co. in English 007707968X 9780077079680	aaaa Not in Library Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 257) and index.

Published in: London, New York
Series: The McGraw-Hill international series in software engineering

Classifications

Dewey Decimal Class: 005.1/01/5113
Library of Congress: QA76.6 .C383 1994

The Physical Object

Pagination: xii, 262 p. :
Number of pages: 262

ID Numbers

Open Library: OL1095488M
ISBN 10: 007707968X
LCCN: 94020022
Library Thing: 3035959
Goodreads: 4530085

Source records

Library of Congress MARC record
Promise Item

Community Reviews (0)

Feedback?

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Created December 10, 2009
2 revisions

Download catalog record: RDF / JSON

February 6, 2010	Edited by WorkBot	add more information to works
December 10, 2009	Created by WorkBot	add works page

A programming approach to formal methods

by Chris Casey