Automated Technology for Verification and Analysis

← Esplora

Catalogo · 9783540883876

Automated Technology for Verification and Analysis

Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan

ISBN 9783540883876

Descrizione non disponibile per questo libro.

Vedi su Google Books

Communitas attorno al libro

Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.

Accedi per partecipare

Altri libri di Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan

Software Engineering

Kyo-Chul Kang, Sungdeok Cha

Copertina di Handbook of Software Engineering

Handbook of Software Engineering

Sungdeok Cha, Richard N. Taylor, Kyochul Kang