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

>> Google Books

所蔵情報QRコード

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 / edited by Manfred Broy

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1987

形態:

413 p. ; 25 cm

シリーズ名:

NATO ASI series ; ser. F . Computer and systems sciences ; v. 36 <BA00020624>

著者名:

ISBN:

9783540180036 [3540180036] (: Germany)
9780387180038 [0387180036] (: U.S.)

書誌ID:

BA0100388X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"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.
主題:	Formal languages--Congresses; Logic programming--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Program construction : international summer school (: gw ; : us) Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag	7 図書 Radio astronomical and satellite studies of the atmosphere : proceedings of the Corfu summer school, 17-29 June 1962 NATO Advanced Study Institute, Aarons, Jules, North Atlantic Treaty Organization. Scientific Affairs Division North-Holland Pub. Co, Interscience Publishers
2 図書 Program design calculi Broy, M., 1949-, NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific … Springer-Verlag	8 図書 Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings (: gw ; : us) Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael) Springer-Verlag
3 図書 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	9 電子ブック Program Construction : International Summer School Bauer, F.L., Dijkstra, E.W., Gerhart, S.L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., …
4 図書 Deductive program design Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on … Springer	10 図書 Direct methods for solving macromolecular structures NATO Advanced Study Institute on Direct Methods for Solving Macromolecular Structures, Fortier, Suzanne, North Atlantic … Kluwer Academic Publishers
5 図書 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 Broy, M., 1949-, Schmidt, Gunther, 1939-, Marktoberdorf Summer School on Theoretical Foundations of Programming … D. Reidel	11 図書 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
6 図書 Program transformation and programming environments : report on a workshop directed by F.L. Bauer and H. Remus (: Germany ; : U.S.) NATO Advanced Research Workshop on Program Transformation and Programming Environments, Pepper, Peter, NATO Science … Springer-Verlag	12 図書 Direct methods of solving crystal structures Schenk, H. (Henk), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute/18th … Plenum Press

1

2

3

4

5

6

7

8

9

10

11

12