Todos2 Robert Kurshan lançamentos em Paperback Book ... Book
Categorias
Outro
Atendimento ao cliente
EUR
![Cover for Robert Kurshan · Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1993 edition] (2012)](https://imusic.b-cdn.net/images/item/original/792/9781461365792.jpg?robert-kurshan-2012-computer-aided-verification-a-special-issue-of-formal-methods-in-system-design-on-computer-aided-verification-paperback-book&class=scaled&v=1608782976)
![Cover for Robert Kurshan · Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification (Hardcover Book) [Reprinted from Formal Methods in System Design, 1: edition] (1992)](https://imusic.b-cdn.net/images/item/original/859/9780792392859.jpg?robert-kurshan-1992-computer-aided-verification-a-special-issue-of-formal-methods-in-system-design-on-computer-aided-verification-hardcover-book&class=scaled&v=1541887371)