Principles of model checking /

Detaylı Bibliyografya
Yazar: Baier, Christel
Diğer Yazarlar: Katoen, Joost-Pieter
Materyal Türü: Printed Book
Dil:English
Baskı/Yayın Bilgisi: Cambridge, Mass. : The MIT Press, [2012
Konular:
Computer systems > Verification.
Computer software > Verification.
Online Erişim:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Internet

http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

DCS

Detaylı Erişim Bilgileri DCS
Yer Numarası: 51 BAI
Kopya Bilgisi Konumu erişilebilir değil.

Benzer Materyaller