Formal description of programming concepts--II: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 - Hardcover

Bjorner, Dines, Editor.

 
9780444866196: Formal description of programming concepts--II: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982
Hardcover
ISBN 10: 0444866191 ISBN 13: 9780444866196
Publisher: New York: North-Holland Publishing Company, 1983
Publisher
New York: North-Holland Publishing Company
Publication date
1983
Language
English
ISBN 10 
0444866191
ISBN 13 
9780444866196
Binding
Hardcover
Number of pages
455