Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report - Brossura

Moller, Bernhard; Partsch, Helmut

 
9780387574998: Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report

Sinossi

Book by Moller Bernhard Partsch Helmut

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

Altre edizioni note dello stesso titolo

9783540574996: Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report: 755

Edizione in evidenza

ISBN 10:  3540574999 ISBN 13:  9783540574996
Casa editrice: Springer, 2008
Brossura