Software in safety-related systems

View on Open Library

Software in safety-related systems

by Brian A. Wichmann

No reviews yet

First published: 1992 1 language ISBN: 0471934747

Subjects

Computer software Reliability Industrial safety Computer programs Mathematics

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Brian A. Wichmann

ADA

ADA. Lengoaia eta metodologia

ADA. Lengoaia eta metodologia

Pascal compiler validation

Pascal compiler validation

ALGOL 60 compilation and assessment

ALGOL 60 compilation and assessment

Tutorial material on the real data-types in ADA

Tutorial material on the real data-types...

A note on the use of variables in ALGOL 60

A note on the use of variables in ALGOL ...

You Might Also Like

More in Computer software

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz

Software Engineering

Software Engineering

Roger S. Pressman

Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon

Mastering today's software

Mastering today's software

Edward G. Martin

The C Programming Language

The C Programming Language

Brian W. Kernighan

Introducing Computers

Introducing Computers

Robert H. Blissmer