skip to content
Applied formal verification
ClosePreview this item

Applied formal verification

Author: Douglas L Perry; Harry Foster
Publisher: New York : McGraw-Hill, ©2005.
Series: McGraw-Hill electronic engineering series.
Edition/Format:   Book : EnglishView all editions and formats
Summary:
Annotation
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Links to this item

Find a copy in the library

Retrieving... Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Perry, Douglas L.
Applied formal verification.
New York : McGraw-Hill, c2005
(OCoLC)607609527
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Douglas L Perry; Harry Foster
ISBN: 007144372X 9780071443722
OCLC Number: 60188400
Description: xiv, 237 p. : ill. ; 24 cm.
Series Title: McGraw-Hill electronic engineering series.
Responsibility: Douglas L. Perry, Harry D. Foster.
More information:

Abstract:

Annotation

Reviews

User-contributed reviews
Retrieving weRead reviews...
Retrieving GoodReads reviews...
Retrieving Amazon reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.