Search results for "Computer systems -- Verification -- Mathematical models" | NDL Search

Jump to main content

Library

National Diet Library Other Libraries in Japan

Available online

Title

Author/Editor

Publisher

Year

yr 〜

yr

2000s(1)

ISBN / ISSN

Call number

Material type

Books （1）

Periodicals

Newspapers

Japanese and Chinese Old Materials

Doctoral Dissertations

Maps

Musical Scores

Web sites

Online Publications

Electronic Resources

Video Materials

Audio Materials

Standards and Technical Reports

Manuscripts and Images

Periodical article etc

Material Format

Digital

Paper （1）

Microform

Recording Media

Subject

Search results 1

Group by title

Abstraction refinement for large scale model checking

Paper図書

Chao Wang, Gary D. Hachtel, Fabio SomenziSpringerc2006

Other Libraries in Japan

Subject HeadingComputer systems -- Verification -- Mathematical models Integrated circuits -- Verifi...
Subject Heading (ID)Computer systems -- Verification -- Mathematical models Integrated circuits -- Verifi...

Reached to the end of result.

RSS

言語：日本語

About NDL Search
How to access the materials

National Diet Library Home Page

Contact Us News Privacy Policy Site Policy

Page Num.202