Tools and algorithms for the construction and analysis of systems
by TACAS 2010 (2010 Paphos, Cyprus)
- ISBN
- 9783642120015
Tools and algorithms for the construction and analysis of systems, TACAS 2010 (2010 Paphos, Cyprus) tarafından yazılmış bir development, model checking book.
TACAS 2010 (2010 Paphos, Cyprus) tarafından yazılan Tools and algorithms for the construction and analysis of systems kitabını keşfedin, development.
Yazar Hakkında
TACAS 2010 (2010 Paphos, Cyprus) Tools and algorithms for the construction and analysis of systems 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
Tools and algorithms for the construction and analysis of systems hangi türde?+
Tools and algorithms for the construction and analysis of systems bir Development, Model Checking, System design, System analysis kitabıdır.
Tools and algorithms for the construction and analysis of systems kitabını kim yazdı?+
Tools and algorithms for the construction and analysis of systems, TACAS 2010 (2010 Paphos, Cyprus) tarafından yazılmıştır.