Program design calculi | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Program design calculi / edited by Manfred Broy

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, 1993

形態:

viii, 409 p. ; 24 cm

シリーズ名:

NATO ASI series ; Series F . Computer and systems sciences ; no. 118 <BA00020624>

著者名:

ISBN:

9780387569437 [038756943X]
9783540569435 [354056943X]

書誌ID:

BA21318318

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	"Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28-August 9, 1992"-- "Published in cooperation with NATO Scientific Affairs Division." Includes bibliographical references and index
主題:	System design--Congresses
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 図書 Deductive program design Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on … Springer	7 雑誌 NATO advanced study institutes series. Series E, Applied sciences North Atlantic Treaty Organization. Scientific Affairs Division M. Nijhoff, Distributors for the U.S. and Canada, Kluwer Boston
2 図書 Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (: Germany ; : U.S.) NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic … Springer-Verlag	8 雑誌 NATO advanced study institutes series. Series C, Mathmatical and physical sciences North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel Pub. Co.
3 図書 Software system design methods : the challenge of advanced computing technology (: Germany ; : U.S.) NATO Advanced Study Institute on the Challenge of Advanced Computing Technology to System Design Methods, Skwirzynski, … Springer-Verlag	9 図書 X-ray astronomy : proceedings of the NATO Advanced Study Institute held at Erice, Sicily, July 1-14, 1979 NATO Advanced Study Institute, Giacconi, Riccardo, Setti, Giancarlo, 1935-, North Atlantic Treaty Organization. … D. Reidel Pub. Co.
4 図書 Simulation and model-based methodologies : an integrative view (: Germany ; : U.S.) NATO Advanced Study Institute on Simulation and Model-based Methodologies: an Integrative View, Ören, Tuncer I., … Springer-Verlag : Published in cooperation with NATO Scientific Affairs Division	10 図書 The interstellar medium : proceedings of the NATO Advanced Study Institute held at Schliersee, Germany, April 2-13, 1973 NATO Advanced Study Institute on the Interstellar Medium, Pinkau, K., North Atlantic Treaty Organization. Scientific … D. Reidel Pub. Co., published in cooperation with NATO Scientific Affairs Division
5 図書 Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] (: Germany ; : U.S.) NATO Advanced Study Institute on Constructive Methods in Computing Science, Broy, M., 1949-, North Atlantic Treaty … Springer-Verlag	11 図書 Nonlinear equations in physics and mathematics : proceedings of the NATO Advanced Study Institute held in Istanbul, Turkey, August 1-13, 1977 NATO Advanced Study Institute, North Atlantic Treaty Organization. Scientific Affairs Division, Barut, Asim Orhan, 1926- D. Reidel, Sole and distributed in the U.S.A. and Canada, Kluwer
6 図書 Solar phenomena in stars and stellar systems : proceedings of the NATO Advanced Study Institute held at Bonas, France, August 25-September 5, 1980 NATO Advanced Study Institute, Bonnet, R.-M. (Roger-M.), Dupree, Andrea K., North Atlantic Treaty Organization. … D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston	12 図書 Emission and scattering techniques : studies of inorganic molecules, solids, and surfaces : proceedings of the NATO Advanced Study Institute held at Alghero, … NATO Advanced Study Institute, Day, Peter, 1938-, North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston

1

2

3

4

5

6

7

8

9

10

11

12