Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report by BERNHARD MÖLLERFormal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report by BERNHARD MÖLLER

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

EditorBERNHARD MÖLLER, Helmut Partsch, Steve Schuman

Paperback | November 29, 1993

Pricing and Purchase Info

$129.68 online 
$141.95 list price save 8%
Earn 648 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.The book stems from work done by IFIP Working Group 2.1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches. Today, the calculation of programsfrom specifications constitutes the central theme ofthegroup's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculationof programs from suchspecifications.
Title:Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art ReportFormat:PaperbackDimensions:384 pages, 9.17 × 6.1 × 0 inPublished:November 29, 1993Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540574999

ISBN - 13:9783540574996

Look for similar items by category:

Reviews