Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
- 資料種別:
- 図書
- 出版情報:
- Berlin ; New York : Springer-Verlag, c1993
- 形態:
- 442 p. ; 25 cm
- シリーズ名:
- NATO ASI series ; ser. F . Computer and system sciences ; v. 94 <BA00020624>
- 著者名:
- ISBN:
- 9780387558134 [0387558136] (: us)
9783540558132 [3540558136] (: gw) - 書誌ID:
- BA20581602
類似資料:
Springer-Verlag |
Springer-Verlag |
Springer |
Springer-Verlag |
Springer-Verlag |
Springer |
Springer-Verlag |
Springer-Verlag |
Kluwer Academic | |