Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and in...
Saved in:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | 電子書 |
| 語言: | English |
| 出版: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| 叢編: | Lecture Notes in Computer Science
8050 |
| 主題: | |
| 在線閱讀: | Click here to view the full text content |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: