Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / edited by Till Mossakowski, Hans-Jörg Kreowski.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 7137Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: 1 online resource (X, 303 p.)ISBN: - 9783642284120
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
|
|
National Library of India | Available | EBK000023355ENG |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.
