Verwandte Artikel zu Formal Methods in Computer-Aided Design: First International...
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, 1166, Band 1166) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Formal Methods in Computer-Aided Design: First International...
Foto des Verkäufers
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, 1166)
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Bestandsnummer des Verkäufers OTV.3540619372.G
Gebraucht kaufen
EUR 9,12
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Verlag:
Springer Berlin / Heidelberg, 1996
ISBN 10: 3540619372
ISBN 13: 9783540619376
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. 1996th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verkäufers GRP77572798
Gebraucht kaufen
EUR 11,05
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
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)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Bestandsnummer des Verkäufers UTD14a2266
Gebraucht kaufen
EUR 6,90
EUR 5,99 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 917050-n
Neu kaufen
EUR 55,56
EUR 2,26 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar
Foto des Verkäufers
Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings (Paperback or Softback)
Verlag:
Springer 10/23/1996, 1996
ISBN 10: 3540619372
ISBN 13: 9783540619376
Neu
Paperback or Softback
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings. Book. Bestandsnummer des Verkäufers BBS-9783540619376
Beispielbild für diese ISBN
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, 1166)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783540619376
Neu kaufen
EUR 60,00
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 917050
Gebraucht kaufen
EUR 61,13
EUR 2,26 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
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, 1166)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540619376_new
Neu kaufen
EUR 60,95
EUR 13,96 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540619376
Neu kaufen
EUR 57,46
EUR 18,05 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Foto des Verkäufers
Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 917050-n
Neu kaufen
EUR 60,43
EUR 17,47 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar