Applied formal verification
tr, c.1-2/stoc3=c.1-2
Saved in:
Main Authors: | Douglas L. Perry, Harry D. Foster |
---|---|
Format: | Sirkulasi |
Language: | Inggris |
Published: |
McGraw Hill Companies
2005
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Otomata & Bahasa Formal
by: Swingly Purba
Published: (2008) -
Kant's solution for verification in metaphysics
by: D. P. Dryer
Published: (1966) -
Program Verification Using ADA
by: McGettrick, Andrew D.
Published: (1982) -
Scene Verification Using an Imaging Model in 3-D Computer Vi
by: Hanajik, Milan
Published: (1995) -
Real-time systemsscheduling, analysis, and verification
by: Cheng, Albert M. K.
Published: (2002)