An edition of Towards verified systems (1994)

Towards verified systems

by J. P. Bowen

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

edited by Jonathan Bowen.

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 MARC Bot

April 9, 2019 | History

Edit

An edition of Towards verified systems (1994)

Towards verified systems

by J. P. Bowen

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

Elsevier

Language

English

Pages

296

Check nearby libraries

Buy this book

Showing 1 featured edition. View all 1 editions?

Edition	Availability
1 Towards verified systems 1994, Elsevier in English 0444899014 9780444899019	aaaa Not in Library Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 269-296).

Published in: Amsterdam, New York
Series: Real-time safety critical systems ;, vol. 2, Real-time safety critical systems ;, 2.

Classifications

Dewey Decimal Class: 004/.33
Library of Congress: QA76.9.E94 T68 1994, QA76.9.E94T68 1994

The Physical Object

Pagination: xxvi, 296 p. :
Number of pages: 296

ID Numbers

Open Library: OL1105487M
ISBN 10: 0444899014
LCCN: 94030630
OCLC/WorldCat: 30914198
Digital Object Identifier (DOI): 10.1604/9780444899019
Goodreads: 4599554

Source records

Scriblio MARC record
Library of Congress MARC record
marc_columbia MARC record
Better World Books record

Community Reviews (0)

Feedback?

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Created April 9, 2019
1 revision

Download catalog record: RDF / JSON

April 9, 2019

Created by MARC Bot

import existing book

Towards verified systems

by J. P. Bowen