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

Deductive verification of object-oriented software

Författare:
engelska
38,60 €

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