SPIN model checking and software verification
- ISBN
- 9783540410300
SPIN model checking and software verification, tarafından yazılmış bir spin, verification book.
tarafından yazılan SPIN model checking and software verification kitabını keşfedin, spin.
Yazar Hakkında
SPIN model checking and software verification kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Baskılar ve Formatlar
Yorumlar
Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.
Giriş yap Yorum yazmak için giriş yapın
Sıkça Sorulan Sorular
SPIN model checking and software verification hangi türde?+
SPIN model checking and software verification bir SPIN, Verification, Computer software kitabıdır.
SPIN model checking and software verification kitabını kim yazdı?+
SPIN model checking and software verification, tarafından yazılmıştır.