Okładka

Principles of model checking

Opis bibliograficzny
1. autor: Baier, Christel
Kolejni autorzy: Katoen, Joost-Pieter
Format: Książka
Język:angielski
Wydane: Cambridge, Mass. MIT Press [2008?]
Hasła przedmiotowe:
Computer systems > Verification.
Computer software > Verification.
Dostęp online:Table of contents only