Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Deductive verification of object-oriented software

Författare:
engelska
380 kr
Lägsta pris på PriceRunner

Undertitel
Dynamic frames, dynamic logic and predicate abstraction
Författare
Benjamin Weiß
ISBN
9783866446236
Språk
engelska
Vikt
467 gram
Utgivningsdatum
2014-08-18
Sidor
292