Formal Description of Programming Concepts: 2nd
Conference Proceedings
Dines Bjorner(Editor)
Elsevier (Publisher)
Published in May 1983
Book
Hardback
468 pages
978-0-444-86619-6 (ISBN)
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Illustrations
28figs.26tabs.
Dimensions
Height: 230 mm
Width: 150 mm
ISBN-13
978-0-444-86619-6 (9780444866196)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification