Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare

Material type: 図書

Author: lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt

Publisher: D. Reidel

Publication date: c1982

Material Format: Paper

Capacity, size, etc.: 25 cm

NDC: -

View All

Notes on use

Note (General)：: Papers presented in 1981 at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the...

Related materials as well as pre- and post-revision versions

NATO advanced study institutes series

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9027714606
9027714622
Title: Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare
Author/Editor: lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt
Author Heading: Broy, M.
https://ci.nii.ac.jp/author/DA00119422
Schmidt, Gunther
https://ci.nii.ac.jp/author/DA01010382
Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology
https://ci.nii.ac.jp/author/DA02216055
Technische Universität München
https://ci.nii.ac.jp/author/DA02177135
NATO Science Committee
https://ci.nii.ac.jp/author/DA01187654
Publication, Distribution, etc.: D. Reidel
Publication Date: c1982
Publication Date (W3CDTF): 1982
Size: 25 cm
Place of Publication (Country Code): ne
Text Language Code: en
Subject Heading: Electronic digital computers -- Programming -- Addresses, essays, lectures
LCC: QA76.6
Target Audience: 一般
Note (General): Papers presented in 1981 at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Science Committee under the 1981 advanced study institutes program
"Published in cooperation with NATO Scientific Affairs Division."
Includes bibliographies
Related Material: NATO advanced study institutes series
https://cir.nii.ac.jp/crid/1970867909786966687
Related Material (URI): https://ci.nii.ac.jp/ncid/BA03677272#entity
https://lccn.loc.gov/82012347
Periodical Title: NATO advanced study institutes series
https://cir.nii.ac.jp/crid/1970867909786966687
Data Provider (Database): 国立情報学研究所 : CiNii Research
https://cir.nii.ac.jp/
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: BA03677272
https://ci.nii.ac.jp/ncid/BA03677272
LC Control Number: 82012347
https://lccn.loc.gov/82012347