Text

COMPUTER-AIDED VERIFICATION

---

Description Not Available

---

Availability

Detail Information

Series Title

-

Call Number

621.39 Kur c

Publisher

Norwell, Massachusetts : Kluwer Academic Publishers., 1993

Collation

142 p. : ill. ; 23 cm

Language

English

ISBN/ISSN

0-7923-9285-X

Classification

621.39

Content Type

Text

Media Type

unmediated

Carrier Type

-

Edition

-

Subject(s)

Computer Software-Verification
Electronic Digital Computer-Evaluation

Specific Detail Info

-

Statement of Responsibility

DS; TUTI

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment