Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino /
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Berlín, Alemania :
Springer,
2007, c2007
|
| Цуврал: | (Lecture Notes in Computer Science)
|
| Онлайн хандалт: | Ver documento en línea |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Ижил төстэй зүйлс: Verification of Object-Oriented Software. The KeY Approach :
- Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
- Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
- Modular Specification and Verification of Object-Oriented Programs /
- Testing Object-Oriented Software : Life Cycle Solutions /
- Design Patterns : Elements of Reusable Object-Oriented Software Elements of Reusable Object-Oriented Software /
- Aliasing in Object-Oriented Programming : Types, Analysis, and Verification /