Logic of programming and calculi of discrete design

International Summer School directed by F.L. Bauer ... [et al.]

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by Open Library Bot
December 4, 2010 | History

Logic of programming and calculi of discrete design

International Summer School directed by F.L. Bauer ... [et al.]

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
413

Buy this book

Book Details


Edition Notes

Includes bibliographies.
"Published in cooperation with NATO Scientific Affairs Division."
"Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso t.p.

Published in
Berlin, New York
Series
NATO ASI series. Series F, Computer and systems sciences ;, vol. 36, NATO ASI series., no. 36.

Classifications

Dewey Decimal Class
005.13/1
Library of Congress
QA267.3 .N38 1986

The Physical Object

Pagination
413 p. :
Number of pages
413

Edition Identifiers

Open Library
OL2391261M
ISBN 10
0387180036
LCCN
87020638
OCLC/WorldCat
16403897
Goodreads
3880554

Work Identifiers

Work ID
OL4973513W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON