＜E-Book＞
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
| Publisher | : KIT Scientific Publishing |
|---|---|
| Year | 2011 |
| Authors | Weiss, Benjamin |
Hide book details.
| E-Book | Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| E-Book | オンライン | 電子ブック |
|
DOAB: Directory of Open Access Books |
|
|
電子リソース |
|
SEB1507470 |
Hide details.
| Material Type | E-Book |
|---|---|
| ID | 4001063316 |