Logics and models of concurrent systems / edited by Krzysztof R. Apt
- 資料種別:
- 図書
- 出版情報:
- Berlin ; Tokyo : Springer-Verlag, c1985
- 形態:
- viii, 498 p. ; 25 cm
- シリーズ名:
- NATO ASI series ; ser. F . Computer and systems sciences ; v. 13 <BA00020624>
- 著者名:
- ISBN:
- 9783540151814 [3540151818] (: Germany)
9780387151816 [0387151818] (: U.S.) - 書誌ID:
- BA00675146
類似資料:
D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston |
Springer-Verlag |
Springer |
D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston |
Springer-Verlag |
D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston Inc. |
Springer-Verlag |
M. Nijhoff, Distributors for the U.S. and Canada, Kluwer Boston |
D. Reidel Pub. Co., sold and distributed in the U.S.A. and Canada by Kluwer Boston |
D. Reidel Pub. Co. |
Springer-Verlag |