Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings - cover
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings - cover
LIBRO INGLESE

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Mandayam Srivas (Curatore) ,
Albert Camilleri (Curatore)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996
66,90 € +670 punti Effe
Promozioni
Complimenti, pagando con Carta del Docente la consegna è GRATIS! Vai all'elenco
Venditore: Feltrinelli
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €
Klarna
Dati e Statistiche
Salvato in 0 liste dei desideri
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Disponibilità in 2 settimane
66,90 €
66,90 €
Disp. in 2 settimane

Descrizione


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.

Dettagli

Pagine:
478 p.
Testo in English
Dimensioni:
235 x 155 mm
EAN:
9783540619376

Questo prodotto lo trovi anche

Libri in inglese Science, Computer & Technology Computer Applications & Software Software Development & Engineering / Systems Analysis & Design
Libri in inglese Science, Computer & Technology Computer Computer Hardware Hardware / Peripherals
Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it

​