>> Google Books

Logics and models of concurrent systems

フォーマット:
図書
責任表示:
edited by Krzysztof R. Apt
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1985
形態:
viii, 498 p. : ill. ; 25 cm
著者名:
シリーズ名:
NATO ASI series ; ser. F . Computer and systems sciences ; v. 13 <BA00020624>
書誌ID:
BA00675146
ISBN:
9783540151814 [3540151818] (: Germany)  CiNii Books  Webcat Plus  Google Books
9780387151816 [0387151818] (: U.S.)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

NATO Advanced Study Institute, Beauchamp, Kenneth George, 1923-, North Atlantic Treaty Organization. Scientific Affairs &hellip;

D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston

NATO Advanced Study Institute, Gram, J. G., North Atlantic Treaty Organization. Scientific Affairs Division

D. Reidel Pub. Co.

NATO Advanced Study Institute on Finite Element Methods in Continuum Mechanics, Oden, J. Tinsley (John Tinsley), 1936-, &hellip;

[University of Alabama in Huntsville Press]

NATO Advanced Study Institute, Mutaftschiev, Boyan, 1932-, North Atlantic Treaty Organization. Scientific Affairs &hellip;

D. Reidel Pub. Co., Sole and distributed in the U.S.A. and Canada by Kluwer Boston

NATO Advanced Study Institute, Mayne, David Q., 1930-, Brockett, Roger W., 1938-, North Atlantic Treaty Organization. &hellip;

D. Reidel Pub. Co., published in cooperation with NATO Scientific Affairs Division

NATO Advanced Study Institute on Mathematical Physics, Barut, Asim Orhan, 1926-, North Atlantic Treaty Organization. &hellip;

D. Reidel Pub. Co., published in cooperation with NATO Scientific Affairs Division

NATO Advanced Study Institute, North Atlantic Treaty Organization. Scientific Affairs Division, Barut, Asim Orhan, 1926-

D. Reidel, Sole and distributed in the U.S.A. and Canada, Kluwer

NATO Advanced Study Institute, Bardos, Claude, 1940-, Bessis, D., 1933-, North Atlantic Treaty Organization. Scientific &hellip;

D. Reidel Pub. Co., NATO Scientific Affairs Division, sold and distributed in the U.S.A. and Canada by Kluwer Boston Inc.

NATO Advanced Study Institute, Day, Peter, 1938-, North Atlantic Treaty Organization. Scientific Affairs Division

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston

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

Springer-Verlag

NATO Advanced Study Institute, Zancla, A., North Atlantic Treaty Organization. Scientific Affairs Division

D. Reidel, Pub. Co., published in cooperation with NATO Scientific Affairs Division

NATO Advanced Study Institute on Materials Science of Carbides, Nitrides, and Borides, Gogot︠s︡i, I︠U︡. G., &hellip;

Kluwer Academic Publishers