Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer, Berlin
SKU: 05274636
Price: 53.79 EUR
Availability: InStock
Author: Albert Camilleri
ISBN: 9783540619376

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Albert Camilleri

Mandayam Srivas

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274636

Casa editrice Springer, Berlin, novembre 1995

This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Descrizione completa

Codice Libristo: 05274636

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

MEANDRES D ASIE DU BAIKAL AU BENGALE T2 Riegel Libro

In brossura

27.29 €

Géométrie sacrée Miranda Lundy

In brossura

9.69 €

Les Maîtres de Bayreuth Charlie Roquin

In brossura

12.19 €

LA FACE CACHEE DU MARCHE DE L'ART Georgina adam

In brossura

33.29 €

Baudolino Umberto Eco

In brossura

19.09 €

Kommunalrecht Thüringen Till Buchholz

In brossura

23.49 €

Sprawdziany dla klasy 4 Język angielski Paszylk Bartłomiej

In brossura

7.89 €

Flash Gordon 42. Cilt Dan Barry

In brossura

23.99 €

Sirr-i Salat Imam Humeyni

In brossura

13.69 €

Programme Du Cours Des Maladies Epidemiques ROCHARD-C

In brossura

14.19 €

Dítěti vstříc: Teorie literatury pro děti a mládež Lukavská Jana Segi

In brossura

11.19 €

Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin

DVD

10.89 €

Darstellung der Liebe im L'Heptameron von Marguerite de Navarre Susanne Hasenstab

In brossura

16.89 €

Kinderalbum op. 39 für Klavier Peter I. Tschaikowski

Note

22.29 €

Modern Drumming. Schlagzeugschule mit CD zum Mitspielen / Modern Drumming Grooves, m. 1 Audio-CD Diethard Stein

In brossura

26.69 €

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.