Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Deductive verification of object-oriented software

38,60 €

Alaotsikko
Dynamic frames, dynamic logic and predicate abstraction
Kirjailija
Benjamin Weiß
ISBN
9783866446236
Kieli
englanti
Paino
467 grammaa
Julkaisupäivä
18.8.2014
Sivumäärä
292