عنوان
پدید آورنده
موضوع
رده
QA 267.3 .N38 1986
QA
267
.
3
.
N38
1986
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic of programming and calculi of discrete design
EDITION STATEMENT
Statement of Responsibility Relating to Edition
1986: Marktoberdorf, Germany
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1987
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
413p.: ill., ports
SERIES
Other Title Information
NATO ASI series. Series F: Computer and systems sciences; Vol.63
GENERAL NOTES
Text of Note
"Published in cooperation with NATO Scientific Affairs Division. Proceedings of the NATO Advanced Study Ins. on Logic of Programming ... 1986
Text of Note
ISBN: 3540180036
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by Manfred Broy
ORIGINAL VERSION NOTE
Text of Note
1
Text of Note
2
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Formal languages
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
267
.
3
.
N38
1986
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Broy, Manfred, 1949-
CO North Atlantic Treaty Organization. Scientific Affairs Division
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design
