ISBNdb.com Home | Categories | Subjects | Authors | Publishers | Your Account (A)
ISBN or Keywords:
Book Info
Similar Books
Best Prices
Price History
Formal specification and software development
Dines Bjørner and Cliff B. Jones; in collaboration with Derek Andrews... [et al.]
Publisher: Englewood Cliffs, N.J. : Prentice/Hall International, c1982.
ISBN: 0133290034   DDC: 1.642   LCC: QA76.6   Edition: $36.00

Notes:

Includes index.

Bibliography: p. 461-487.

Classification:

   (click to see other 'Books on the Same Shelf')
Dewey Class: 1.642 -- Knowledge
LCC Number: QA76.6

Book Details:

Language: eng
Physical Description: x, 501 p. : ill. ; 25 cm.
Edition Info: $36.00

Similar Books:

•  1986 IEEE Computer Society Workshop on Visual Languages, June 25-27, 1986, Dallas, Texas, U. S. A (in cooperation with the IEEE Dallas Section; ISBN: 081860722X; (pbk.); 100% match)
•  1986 IEEE Computer Society Workshop on Visual Languages, June 25-27, 1986, Dallas, Texas, U. S. A (in cooperation with the IEEE Dallas Section; ISBN: 0818647221; (microfiche); 100% match)
•  Absolute beginner's guide to programming (Greg Perry; ISBN: 0789725290; 100% match)
•  ...more similar books

Subjects:

Click on a subject to see other books listed with the same subject or to drill down into components of the subject -- such as geographical locations, dates and so on.
•  Computer programming (1535)
•  Programming languages (Electronic computers) (603)

Buying this book:

We query many merchants so that you can instantly compare prices and availability. You can even check historic prices and subscribe for notifications. For a manual check, clicking on a link will open a new window with a search for this book on the merchant's site of your choice.
•  Amazon.com by title or by ISBN — widest selection, reliable service, good prices
•  Abebooks.com by title or by ISBN — good source for rare and out-of-print books
•  Textbooks.com by title or by ISBN — large inventory of new & used textbooks with free shipping (on orders over $25)
•  Alibris.com by title or by ISBN — their slogan is "books you thought you'd never find"
•  eCampus.com by title or by ISBN — they specialize in textbooks, used and new
•  BN.com by title or by ISBN — Barnes & Noble has a wide selection of new and used books

Libraries this book has an entry in:

•  Simon Fraser University (British Columbia, Canada) (last modified on 09/02/2009)
•  Louisiana State University (last modified on 06/12/2009)
•  University of Calgary (last modified on 04/17/2009)
•  Glasgow University (last modified on 12/04/2008)
•  University of Southern California (last modified on 04/28/2008)
•  Cornell University (last modified on 09/08/2007)
•  University of Western Ontario (last modified on 08/17/2007)
•  University of Arkansas, Fayetteville (last modified on 07/26/2006)
•  University of Victoria (Victoria, BC) (last modified on 07/31/2004)
•  Deakin University (last modified on 07/21/2004)
•  Michigan State University (last modified on 11/08/2003)

Copyright © 2002-2009 ISBNdb.com FAQ | Privacy Policy | Contact ISBNdb.com