Computer program synthesis methodologies

proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today


Buy this book

Last edited by ImportBot
January 14, 2023 | History

Computer program synthesis methodologies

proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981

This edition doesn't have a description yet. Can you add one?

Buy this book

Previews available in: English

Edition Availability
Cover of: Computer program synthesis methodologies
Computer program synthesis methodologies: proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981
1983, D. Reidel Pub. Co., Distributed in the U.S.A. and Canada by Kluwer Boston Inc.
in English
Cover of: Computer Program Synthesis Methodologies (NATO Science Series C:)
Computer Program Synthesis Methodologies (NATO Science Series C:)
December 31, 1982, Springer
Hardcover in English - 1 edition

Add another edition?

Book Details


Edition Notes

Includes bibliographies and indexes.
"Published in cooperation with NATO Scientific Affairs Division."

Published in
Dordrecht, Holland, Boston, U.S.A, Hingham, MA
Series
NATO advanced study institutes series., v. 95

Classifications

Dewey Decimal Class
001.64/2
Library of Congress
QA76.6 .N378 1981, QA1-939

The Physical Object

Pagination
ix, 374 p. :
Number of pages
374

ID Numbers

Open Library
OL3496647M
Internet Archive
computerprograms0000nato
ISBN 10
9027715041
LCCN
82016704

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
January 14, 2023 Edited by ImportBot import existing book
July 17, 2021 Edited by ImportBot import existing book
October 21, 2020 Edited by MARC Bot import existing book
October 7, 2020 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record