BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification Hardback - 1982

by H. K. Berg (Other)

Add to wish list

Reader reviews for Formal Methods of Program Verification and Specification

Details

  • Title Formal Methods of Program Verification and Specification
  • Author H. K. Berg (Other)
  • Binding Hardback
  • Edition 2nd printing
  • Pages 207
  • Volumes 1
  • Language ENG
  • Publisher Prentice Hall, London
  • Publication date 1982
  • ISBN 9780133288070 / 0133288072
  • Category Reference
  • Library of Congress subjects Formal methods (Computer science), Computer programs - Verification
  • Library of Congress Catalogue Number 81022719
  • Dewey Decimal Code 001.652

More Copies for Sale

Formal Methods of Programme Verification and Specification
Stock photo: cover may vary

Formal Methods of Programme Verification and Specification

by BERG, H.K. and OTHERS:

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$5.00
A$46.63 Delivery to USA

Show details

Description:
.- Englewood, New Jersey. 1982. Prentice Hall. 4º menor. 207 pgs. Cartoné editorial. Firma anterior poseedor. Buen estado. . . ISBN 10: 0133288072. Informática
Add to wish list
Item price
A$5.00
A$46.63 Delivery to USA
Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification

by Helmut K. Berg et etc.

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$11.73
A$37.88 Delivery to USA

Show details

Description:
Longman Higher Education, 1982. Hardcover. Very Good. Former library book. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.73
A$37.88 Delivery to USA
Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification

by Helmut K. Berg et etc.

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$11.73
A$37.88 Delivery to USA

Show details

Description:
Longman Higher Education, 1982. Hardcover. Very Good. Former library book. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.73
A$37.88 Delivery to USA
Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification

by Helmut K. Berg et etc.

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$11.73
A$37.88 Delivery to USA

Show details

Description:
Longman Higher Education, 1982. Hardcover. Very Good. Former library book. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.73
A$37.88 Delivery to USA
Formal Methods of Program Verification and Specification
Stock photo: cover may vary

Formal Methods of Program Verification and Specification

by Helmut K. Berg et etc.

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$11.73
A$37.88 Delivery to USA

Show details

Description:
Longman Higher Education, 1982. Hardcover. Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.73
A$37.88 Delivery to USA
Formal Methods Prog Verificatn
Stock photo: cover may vary

Formal Methods Prog Verificatn

by Berg

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$15.82
A$10.20 Delivery to USA

Show details

Description:
Stationery Office, The. Used - Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$15.82
A$10.20 Delivery to USA
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Stock photo: cover may vary

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

by Franta

  • Used
  • fair
Condition
Fair
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$19.20
A$6.19 Delivery to USA

Show details

Description:
Fair. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: None ]
Add to wish list
Item price
A$19.20
A$6.19 Delivery to USA
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Stock photo: cover may vary

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

by Franta

  • Used
  • Acceptable
  • Hardback
Condition
Acceptable
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$29.05
Free Delivery to USA

Show details

Description:
Prentice Hall, 1982. Hardcover. Acceptable. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$29.05
Free Delivery to USA
Formal Methods of Program Verification and Specification

Formal Methods of Program Verification and Specification

by Franta

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$29.05
Free Delivery to USA

Show details

Description:
Prentice Hall, 1982. Hardcover. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$29.05
Free Delivery to USA
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Stock photo: cover may vary

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

by Franta

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780133288070 / 0133288072
Quantity available
1
Seller
Item price
A$53.34
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$53.34
Free Delivery to USA