<--- Back to Details
First PageDocument Content
Numismatics / Dime / United States dollar / Nickel / Penny / Eagle / Variety store / Numismatic history of the United States / Coins of the United States dollar / Currency / Coins of the United States / Coins
Date: 2006-10-01 10:45:26
Numismatics
Dime
United States dollar
Nickel
Penny
Eagle
Variety store
Numismatic history of the United States
Coins of the United States dollar
Currency
Coins of the United States
Coins

Add to Reading List

Source URL: www.drjean.org

Download Document from Source Website

File Size: 724,00 KB

Share Document on Facebook

Similar Documents

Formal methods / Software engineering / Computing / Logic in computer science / Non-interference / Exception handling / Formal verification / Refinement / Thread / Futures and promises / Covert channel / Application programming interface

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

DocID: 1xVUp - View Document

Aircraft instruments / Standards / Covert channel / Steganography / ARINC 653 / ARINC / Verification / Human behavior / Technology / User interface design / Design

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

DocID: 1xV5v - View Document

PDF Document

DocID: 1xGDt - View Document

PDF Document

DocID: 1xqsR - View Document

PDF Document

DocID: 1xcec - View Document