Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.)
- 資料種別:
- 図書
- 出版情報:
- Berlin : Springer, c2000
- 形態:
- x, 476 p. ; 24 cm
- シリーズ名:
- Lecture notes in computer science ; 1827 <BA00009279>
- 著者名:
- ISBN:
- 9783540678984 [3540678980]
- 書誌ID:
- BA48322462
類似資料:
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg |
SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg |
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg | |
Springer eBooks Computer Science, Springer Berlin / Heidelberg |
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg |