Andrew K. Martin – författare

Visar alla böcker från författaren Andrew K. Martin. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Formal Methods in Computer-Aided Design

   5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

   Av Alan J. Hu, Andrew K. Martin

   Häftad, 2004

   566 kr

   Lägg i varukorg

   These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized …

2. 

   Formal Methods in Computer-Aided Design

   5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

   Av Andrew K. Martin, Alan J. Hu

   E-bok, 2005

   755 kr

   Lägg i varukorg