Formal Methods in Computer-Aided Design: First International Conference, '96, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science)
5 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 | 2017 |
---|---|---|---|---|---|
Schnitt | € 73,41 | € 41,54 | € 60,32 | € 68,74 | € 8,24 |
Nachfrage |
1
Formal Methods in Computer-Aided Design: First International Conference, Fmcad 96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
DE PB NW
ISBN: 9783540619376 bzw. 3540619372, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 478 pages. Dimensions: 9.3in. x 6.1in. x 1.0in.This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD 96, held in Palo Alto, California, USA, in November 1996. The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 478 pages. Dimensions: 9.3in. x 6.1in. x 1.0in.This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD 96, held in Palo Alto, California, USA, in November 1996. The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
2
Formal Methods in Computer-Aided Design: First International Conference, FMCAD 96, Palo Alto, CA, USA, November 6-8, 1996 - Proceedings (Paperback) (1996)
DE PB NW RP
ISBN: 9783540619376 bzw. 3540619372, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proc
DE
ISBN: 9783540619376 bzw. 3540619372, in Deutsch, Springer.
Lieferung aus: Vereinigte Staaten von Amerika, En Stock.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
FORMAL METHODS IN COMPUTER-AIDED DESIGN
DE
ISBN: 9783540619376 bzw. 3540619372, in Deutsch, Springer, Berlin/Heidelberg, Deutschland.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Bookshub [56517106], Karol Bagh, KB, India.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Bookshub [56517106], Karol Bagh, KB, India.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science)
DE US
ISBN: 9783540619376 bzw. 3540619372, in Deutsch, Springer, gebraucht.
Von Händler/Antiquariat, Phatpocket Limited [8420744], Waltham Abbey, HERTS, United Kingdom.
Ex-library, so some wear and barcode page may have been removed, but in good overall condition.
Ex-library, so some wear and barcode page may have been removed, but in good overall condition.
Lade…