>> 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:
9780387180038 [0387180036] (: U.S.)
9783540180036 [3540180036] (: Germany)
書誌ID:
BA0100388X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division

Springer-Verlag

NATO Advanced Study Institute, Aarons, Jules, North Atlantic Treaty Organization. Scientific Affairs Division

North-Holland Pub. Co, Interscience Publishers

Broy, M., 1949-, NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific …

Springer-Verlag

Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael)

Springer-Verlag

NATO Advanced Study Institute on Constructive Methods in Computing Science, Broy, M., 1949-, North Atlantic Treaty …

Springer-Verlag

NATO Advanced Study Institute on Direct Methods for Solving Macromolecular Structures, Fortier, Suzanne, North Atlantic …

Kluwer Academic Publishers

Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on …

Springer

NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic …

Springer-Verlag

Broy, M., 1949-, Schmidt, Gunther, 1939-, Marktoberdorf Summer School on Theoretical Foundations of Programming …

D. Reidel

Schenk, H. (Henk), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute/18th …

Plenum Press

NATO Advanced Research Workshop on Program Transformation and Programming Environments, Pepper, Peter, NATO Science …

Springer-Verlag

Marthy, H.-J., NATO Advanced Study Institute on Cellular and Molecular Control of Direct Cell Interactions in Developing …

Plenum Press : Published in cooperation with NATO Scientific Affairs Division

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12