Tools and Algorithms for the Construction and Analysis of Systems :25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

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ı

Özgür

Yorumlar

Derecelendirme Anlık Görüntüsü

İncelemeleri filtrelemek için aşağıdan bir satır seçin.

Genel

Ortalama Müşteri Puanları

Bu Kitap için İnceleme

Düşüncelerinizi diğer okuyucularla paylaşın

Daha Fazla Bilgi

description_of_book

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Ek Bilgi

SATICI

SpringerOpen

Basımlar

SpringerOpen

Yayın tarihi

2020 Jun 11

Yazarlar

Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

ISBN

978-3-030-17502-3

Konular

Bilgisayar ve Bilgi Teknolojileri Springer Konferansları

Yazarlar Hakkında

Dirk Beyer(editor)

Full Professor, Head of Research Chair (Lehrstuhlinhaber) Software and Computational Systems Lab Institute for Informatics Ludwig-Maximilians-Universität München (LMU Munich)

Dirk Beyer(editor)

Marieke Huisman(editor)

Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.

Marieke Huisman(editor)

Fabrice Kordon(editor)

Professor at Sorbonne Université

Fabrice Kordon(editor)

Bernhard Steffen(editor)

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.

Bernhard Steffen(editor)

İçindekiler

Türkçe

Uygulamaları İndir