Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification - Robert Kurshan - Books - Springer-Verlag New York Inc. - 9781461365792 - October 5, 2012
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 Softcover Reprint of the Original 1st Ed. 1993 edition

Price
Íkr 19,569
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 18 - 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:

142 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 5, 2012
ISBN13 9781461365792
Publishers Springer-Verlag New York Inc.
Pages 142
Dimensions 155 × 235 × 8 mm   ·   222 g
Language English  
Editor Kurshan, Robert

Mere med samme udgiver

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