Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification - Robert Kurshan - Books - Kluwer Academic Publishers - 9780792392859 - December 31, 1992
In case cover and title do not match, the title is correct

Robert Kurshan
Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification Reprinted from Formal Methods in System Design, 1: edition

Price
Íkr 22,739
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 12 - 26

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

A collection of papers that begins with a general survey of hardware verification methods. It starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing upon various advances. It presents a generic format for graphical presentations of coordinating systems represented by automata.

142 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 31, 1992
ISBN13 9780792392859
Publishers Kluwer Academic Publishers
Pages 142
Dimensions 156 × 234 × 9 mm   ·   390 g
Editor Kurshan, Robert

Mere med samme udgiver

See all of Robert Kurshan ( e.g. Hardcover Book and Paperback Book )