Principles of model checking

Principles of model checking

Detaylı Bibliyografya
Yazar: Baier, Christel
Diğer Yazarlar: Katoen, Joost-Pieter
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Cambridge, Mass. MIT Press [2008?]
Konular:
Computer systems > Verification.
Computer software > Verification.
Online Erişim:Table of contents only