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
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 II25th 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 II
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 II
Ek Bilgi
SATICI
Basımlar
Yayın tarihi
2019 Apr 11
ISBN
978-3-030-17465-1
Yazarlar Hakkında
Lijun Zhang(editor)
İçindekiler
