Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
kitap formatı
Özgür
Yorumlar
Derecelendirme Anlık Görüntüsü
İncelemeleri filtrelemek için aşağıdan bir satır seçin.
0
0
0
0
0
0
Genel
Ortalama Müşteri Puanları
Bu Kitap için İnceleme
Düşüncelerinizi diğer okuyucularla paylaşın
Daha Fazla Bilgi
description_of_book
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Ek Bilgi
SATICI
Basımlar
Yayın tarihi
2019 Apr 11
ISBN
978-3-030-17462-0
Yazarlar Hakkında
Tomáš Vojnar(editor)
İçindekiler
