Articoli correlati a Logic and Software Engineering, International Workshop...

Logic and Software Engineering, International Workshop in Honor of Chih Sung Tang - Rilegato

Lin, H.; Pnueli, A.

 
9789810228040: Logic and Software Engineering, International Workshop in Honor of Chih Sung Tang
Rilegato
ISBN 10: 981022804X ISBN 13: 9789810228040
Casa editrice: World Scientific Pub Co Inc, 1996

Sinossi

This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
World Scientific Pub Co Inc
Data di pubblicazione
1996
Lingua
Inglese
ISBN 10 
981022804X
ISBN 13 
9789810228040
Rilegatura
Copertina rigida
Numero di pagine
320
Contatto del produttore
non disponibile
Persona responsabile
non disponibile