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.
I have a question about the book:
‘Formal Program Development - Bernhard Moeller, Helmut Partsch, Steve Schuman’.
Fill in the form below.
We will respond as fast as possible.
