Kansikuva
QR-koodi

Principles of model checking

Näytä muut versiot (1)
Tallennettuna:
Päätekijä: Baier, Christel
Yhteisötekijä: ebrary, Inc
Muut tekijät: Katoen, Joost-Pieter
Aineistotyyppi: Elektroninen E-kirja
Kieli:englanti
Julkaistu: Cambridge, Mass. : MIT Press, 2008.
Aiheet:
Computer systems > Verification.
Computer software > Verification.
Electronic books.
Linkit:An electronic book accessible through the World Wide Web; click to view
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Ulkoasu:xvii, 975 p. : ill.
Bibliografia:Includes bibliographical references (p. 931-964) and index.

Samankaltaisia teoksia