Deductive verification of object-oriented software
- Alaotsikko
- Dynamic frames, dynamic logic and predicate abstraction
- Kirjailija
- Benjamin Weiß
- ISBN
- 9783866446236
- Kieli
- englanti
- Paino
- 467 grammaa
- Julkaisupäivä
- 18.8.2014
- Kustantaja
- Karlsruher Institut Fur Technologie
- Sivumäärä
- 292





















