Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report

by Helmut Partsch, Steve Schuman, Bernhard Möller

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540574999
• ISBN13: 9783540574996
• Release Date: November 1993
• Publisher: Springer
• Length: 375 Pages
• Weight: 1.21 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"