Kansikuva

The calculus of computation decision procedures with applications to verification

Bibliografiset tiedot
Päätekijä: Bradley, Aaron R.
Muut tekijät: Manna, Zohar
Aineistotyyppi: Kirja
Kieli:englanti
Julkaistu: Berlin Springer 2007.
Aiheet:
Computer logic.
Computer programs > Verification.