>> 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
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

NATO Conference on the Acquisition of Symbolic Skills, Rogers, Don, Sloboda, John A., North Atlantic Treaty …

Plenum Press

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

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

Springer-Verlag

NATO Advanced Study Institute on the Challenge of Advanced Computing Technology to System Design Methods, Skwirzynski, …

Springer-Verlag

NATO Advanced Study Institute on Distributed Operating Systems, Theory and Practice, Paker, Yakup, Banatre, Jean-Pierre, …

Springer-Verlag

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic …

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 Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic …

Springer-Verlag

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

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

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