Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science) - Softcover

Moller, Bernhard; Partsch, Helmut

 
9780387574998: Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387574999 ISBN 13: 9780387574998
Publisher: Springer Nature, 1993

Synopsis

Formal Program Development Presenting the results of a contemporary symposium on formal program development, this volume focuses on systematic approaches to computer programming and the appropriate concepts and notations required to support these approaches. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Nature
Publication date
1993
Language
English
ISBN 10 
0387574999
ISBN 13 
9780387574998
Binding
Paperback
Editor
Schuman Steve

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3540574999 ISBN 13:  9783540574996
Publisher: Springer, 1993
Softcover