Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report (Paperback, 1993 ed.)

This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 755
Release date:	November 1993
First published:	1993
Editors:	Bernhard Moeller • Helmut Partsch • Steve Schuman
Dimensions:	233 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	375
Edition:	1993 ed.
ISBN-13:	978-3-540-57499-6
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > General Books > Computing & IT > Applications of computing > General
LSN:	3-540-57499-9
Barcode:	9783540574996

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!