Formal program development : IFIP TC 2/WG 2.1 state-of-the-art report

Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
Bok · Engelsk · 1993

Utgitt	Berlin : Springer , c1993
Omfang	371 s. : ill.
Emner	Computer software - Development Electronic digital computers - Programming Formell programutvikling Programspesifikasjon : (NO-TrBIB)REAL002719 Vis mer... Programutvikling programutvikling
ISBN	0387574999. - 3540574999