Il tuo contatto a CeDe

Avete domande, suggerimenti, elogi o critiche? I vostri commenti ci aiutano a migliorare ulteriormente CeDe.ch. Saremo quindi lieti di ricevere i vostri messaggi e risponderemo con piacere a tutte le e-mail in modo rapido e competente. Grazie mille!

Nome * Cognome * E-mail * Numero cliente Numero d'ordinazione Categoria * Messaggio *

Questo modulo, insieme all'URL corrente nello shop, ci invia anche dettagli tecnici circa il tuo browser. Eventualmente ci aiuta quindi a capire meglio il tuo feedback. Trovi informazioni più dettagliate nella nostra Dichiarazione protezione dati .

Chiudi

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.

Questo sito utilizza i cookie. Leggi la nostra dichiarazione sulla privacy per saperne di più su come utilizziamo i cookie e su come puoi modificare le tue preferenze. OK

Per le consegne al di fuori della Svizzera e della Germania si prega di cambiare a www.CeDe.com.

Close

Servizio eccellente e spedizione gratuita dal 1997

Lista dei desideri

Carrello

Edmund M. Clarke nella categoria Libri - Varie

Articoli di Edmund M. Clarke in shop completo

Edmund M. Clarke come Con la collaborazione di Mostra tutti e 5 i risultati

Thoma A Henzinger, Thomas A Henzinger, Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, … Handbook of Model Checking, m. 2 Buch Inglese 01.01.2020 Tascabile CHF 169.00 6-7 settimane

Thoma A Henzinger, Thomas A Henzinger, Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, … Handbook of Model Checking Inglese 01.01.2018 Copertina rigida CHF 179.00 6-7 settimane

Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, … - Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, … Perspectives of Systems Informatics Inglese 13.04.2012 Tascabile CHF 70.00 6-7 settimane

Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, … - Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, … Logic for Programming, Artificial Intelligence, and Reasoning Inglese 03.11.2010 Tascabile CHF 70.00 6-7 settimane

Edmund M. Clarke, Robert P. Kurshan, Edmun M Clarke, Edmund M Clarke, P Kurshan, … - Computer-Aided Verification 2nd International Conference CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Edmund M. Clarke, Robert P. Kurshan, Edmun M Clarke, Edmund M Clarke, P Kurshan, … Computer-Aided Verification Inglese 01.01.1960 Tascabile CHF 69.00 4-7 giorni lavorativi

Edmund M. Clarke come Autore

Edmund M Clarke, Edmund M. Clarke, Orna Grumberg, Orna (Technion) Grumberg, Grumberg Orna, … Model Checking, second edition Inglese 30.11.2018 Copertina rigida CHF 120.00 1-3 settimane