Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report: 755 (Lecture Notes in Computer Science)

by Bernhard M??ller (Author), Helmut Partsch (Author), Steve Schuman (Author)

• New

  Paperback
  2008

  $83.97

  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.