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

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 <BA0006594X>

書誌ID:

BA0100388X

ISBN:

9783540180036 [3540180036] (: Germany)

9780387180038 [0387180036] (: U.S.)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Formal languages--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA267.3 DDC : 005.13/1 NDLC : M159 LCSH : Formal languages -- Congresses LCSH : Logic programming -- Congresses
LCCN:	87020638
注記:	"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.
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Program construction : international summer school Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag	7 図書 Logic, algebra, and computation NATO Advanced Study Institute on Logic, Algebra, and Computation, Bauer, Friedrich Ludwig, 1924- Springer-Verlag
2 図書 Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] NATO Advanced Study Institute on Constructive Methods in Computing Science, Broy, M., 1949-, North Atlantic Treaty … Springer-Verlag	8 図書 Direct methods of solving crystal structures Schenk, H. (Henk), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute/18th … Plenum Press
3 図書 Language hierarchies and interfaces : international summer school Bauer, Friedrich Ludwig, 1924-, Samelson, Klaus, 1918-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag	9 図書 Logics and models of concurrent systems NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic … Springer-Verlag
4 図書 Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael) Springer-Verlag	10 図書 Logic programming : proceedings of the North American Conference, 1989 Lusk, Ewing L., Overbeek, Ross A., North American Conference on Logic Programming MIT Press
5 図書 Program transformation and programming environments : report on a workshop directed by F.L. Bauer and H. Remus NATO Advanced Research Workshop on Program Transformation and Programming Environments, Pepper, Peter, NATO Science … Springer-Verlag	11 図書 Logic programming : proceedings of the 1990 North American conference Debray, Saumya, Hermenegildo, Manuel, North American Conference on Logic Programming, Association for Logic Programming MIT Press
6 図書 Control flow and data flow : concepts of distributed programming : international summer school NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming, Broy, M., 1949- Springer-Verlag	12 図書 CAD based programming for sensory robots NATO Advanced Research Workshop on CAD Based Programming for Sensory Robots, Ravani, Bahram, 1953-, North Atlantic … Springer-Verlag