25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
kitap formatı
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
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
SATICI
Basımlar
Yayın tarihi
2020 Jun 11
ISBN
978-3-030-17502-3
Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.
İçindekiler