Deductive program design | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Deductive program design / edited by Manfred Broy

資料種別:

図書

出版情報:

Berlin ; New York : Springer, c1996

形態:

viii, 467 p. ; 24 cm

シリーズ名:

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

著者名:

ISBN:

9783540609476 [3540609474]

書誌ID:

BA27909918

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	"Published in cooperation with NATO Scientific Affairs Division." "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso Includes bibliographical references
主題:	Electronic data processing--Distributed processing--Congresses; Logic, Symbolic and mathematical--Congresses; System design--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Program design calculi Broy, M., 1949-, NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific … Springer-Verlag	7 図書 The acquisition of symbolic skills NATO Conference on the Acquisition of Symbolic Skills, Rogers, Don, Sloboda, John A., North Atlantic Treaty … Plenum Press
2 図書 New advances in distributed computer systems : proceedings of the NATO Advanced Study Institute held at Bonas, France, June 15-26, 1981 NATO Advanced Study Institute, Beauchamp, Kenneth George, 1923-, North Atlantic Treaty Organization. Scientific Affairs … D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston	8 図書 Distributed operating systems : theory and practice (: Germany ; : U.S.) NATO Advanced Study Institute on Distributed Operating Systems, Theory and Practice, Paker, Yakup, Banatre, Jean-Pierre, … Springer-Verlag
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 図書 Program construction : international summer school (: gw ; : us) Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag
4 図書 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	10 図書 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
5 図書 Logics and models of concurrent systems (: Germany ; : U.S.) NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic … Springer-Verlag	11 図書 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
6 図書 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	12 雑誌 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

1

2

3

4

5

6

7

8

9

10

11

12