Formal Program Development Ifip Tc2-Wg 2.1 State-of-the-Art Report

Name: Formal Program Development Ifip Tc2-Wg 2.1 State-of-the-Art Report
Availability: OutOfStock
ISBN: 9783540574996

ISBN-10: 3540574999

ISBN-13: 9783540574996

Edition: 1993

Authors: Bernhard Mï¿½ller, Helmut Partsch, Steve Schuman

List price: $54.99

30 day, 100% satisfaction guarantee!

Out of stock

Buy from Amazon

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $54.99
Copyright year: 1993
Publisher: Springer Berlin / Heidelberg
Publication date: 11/29/1993
Binding: Paperback
Pages: 375
Size: 6.10" wide x 9.17" long
Weight: 2.662
Language: English