Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Towards Verified Systems

Towards Verified Systems

Book Informaton
Towards Verified Systems

Author

Jonathan Bowen

Series

Real-Time Safety Critical Systems

Year of Publication

1994

Publisher

Elsevier

City of Publication

Amsterdam; New York

Pages

296

Language

en

ISBN

9780444899019, 0444899014

ARI Id

1665506080716

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 6 times.
Access Options
ScienceDirect
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Embedded computer systems Evaluation Real-time data processing