Formal Methods in Computer-Aided Design. First International Conference, FMCAD '96 Palo Alto, CA, USA, Nov. 6-8, 1996 Proceedings. (=Lecture Notes in Computer Science; 1166).

Srivas, Mandayam and Albert (Edts.) Camilleri:

Published by Springer Berlin, 1996

About this Item

470 Computerwissenschaft Guter Zustand/ Good With figures and tables. Ex-Library. ha1060027 Sprache: Englisch Gewicht in Gramm: 650.

Seller Inventory # 288185

Bibliographic Details

• Title: Formal Methods in Computer-Aided Design. First International Conference, FMCAD '96 Palo Alto, CA, USA, Nov. 6-8, 1996 Proceedings. (=Lecture Notes in Computer Science; 1166).
• Publisher: Springer Berlin
• Publication Date: 1996
• Language: English
• Binding: Softcover
• Condition: Gut
• Weight: 650 grams
• Seller catalogs:
  • Fachbücher - Computer/Elektronik