It looks like you're offline.

Last edited by ImportBot

September 19, 2008 | History

Edit

Ben L. Di Vito

We need a photo of Ben L. Di Vito

3 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request: under contracts NAS1-19341 and NAS9-18817

by Ben L. Di Vito First published in 1996 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Formal design and verification of a reliable computing platform for real-time control: phase 1 results

by Ben L. Di Vito First published in 1990 — 1 edition

Locate

My Reading Lists:

Create a new list
A formal model of partitioning for integrated modular avionics

by Ben L. Di Vito First published in 1998 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Ben L. Di Vito

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL4869482A

Links outside Open Library

No links yet. Add one?

History

Created September 19, 2008
1 revision

Download catalog record: RDF / JSON

September 19, 2008

Created by ImportBot

Imported from Oregon Libraries MARC record