Omslagsbillede

Principles of model checking

Bibliografiske detaljer
Hovedforfatter: Baier, Christel
Andre forfattere: Katoen, Joost-Pieter
Format: Bog
Sprog:engelsk
Udgivet: Cambridge, Mass. MIT Press [2008?]
Fag:
Computer systems > Verification.
Computer software > Verification.
Online adgang:Table of contents only