|
共 86 件
東南亞史書籍特展
東南亞史書籍特展
- 展示上架起迄時間*: 2020-03-03 ~ 2020-04-30
- 暫停外借截止時間*: 2020-03-03 ~ 2020-03-03
共85件。
84
|
|
Unifying theories of programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
- 作者:edited by Andrew Butterfield.
- 出版社:Springer-Verlag Berlin Heidelberg
- 出版年:2010.
- 出版地:Berlin, Heidelberg :
- 主題:Computer programming ; Computer Science. ; Logics and Meanings of Programs. ; Software Engineering. ; Programming Languages, Compilers, Interpreters. ; Mathematical Logic and Formal Languages. ; Programming Techniques. ; Artificial Intelligence (incl. Robotics)
- 作者:Butterfield, Andrew.
- 電子資源:
|
|
|
85
|
|
Verified software theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
- 作者:edited by Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani.
- 出版社:Springer-Verlag Berlin Heidelberg
- 出版年:2010.
- 出版地:Berlin, Heidelberg :
- 主題:Computer software|Testing ; Computer software|Verification ; Computer Science. ; Software Engineering. ; Logics and Meanings of Programs. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Mathematical Logic and Formal Languages. ; Artificial Intelligence (incl. Robotics)
- 作者:Leavens, Gary T. ; O'Hearn, Peter. ; Rajamani, Sriram K.
- 電子資源:
|
|
|
|
|