Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
2013-01-07 (月) - 発売中
|
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)Roberto Giacobazzi / Josh Berdine / Isabella Mastroeni Amazon.co.jp 価格 ￥8,898. 在庫あり 2025年12月22日 08時18分 JST時点 - 詳細はこちら Amazonで購入する 他のショップで探す |
- 新刊発見日: 2013年01月07日
- Springer
- ASIN: 3642358721
- EAN: 9783642358722
- ペーパーバック
- 新刊チェックキーワード
scala programming
0