This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculationof programs from suchspecifications.
Ik heb een vraag over het boek:
‘Formal Program Development - Bernhard Moeller, Helmut Partsch, Steve Schuman’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
