An edition of Specification and validation methods (1995)

Specification and validation methods

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Specification and validation methods by E. Börger
Preview
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 18, 2024 | History
Edit
An edition of Specification and validation methods (1995)

Specification and validation methods

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Clarendon, Oxford University Press
Language
English
Pages
460

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Programming languages (Electronic computers)

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Specification and validation methods
Specification and validation methods
1995, Clarendon, Oxford University Press
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Oxford, New York
Series
International schools for computer scientists, Oxford science publications

Classifications

Dewey Decimal Class
004/.015113
Library of Congress
QA76.7 .S64 1995, QA76.7.S64 1995

The Physical Object

Pagination
460 p. :
Number of pages
460

ID Numbers

Open Library
OL1278836M
Internet Archive
isbn_9780198538547
ISBN 10
0198538545
LCCN
95010608
OCLC/WorldCat
503427888
Goodreads
3556646

Source records

Library of Congress MARC record
Better World Books record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 18, 2024 Edited by MARC Bot import existing book
September 9, 2021 Edited by ImportBot import existing book
November 20, 2020 Created by MARC Bot import existing book