Yazar
Christel Baier
8 cilt bulundu.
Christel Baier · The MIT Press
984 sayfa · 2008
Computer systems / Verification / Computer software / Systems software / Computer software, verification
Christel Baier, Ugo Dal Lago · Springer
592 sayfa · 2018
Computer science / Software engineering / Logic
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle · Springer-Verlag
470 sayfa · 2004
Stochastic processes / Stochastic systems / Stochastic analysis
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria · Springer
544 sayfa · 2017
Computer science
Christel Baier, Cesare Tinelli · Springer London, Limited
725 sayfa · 2015
System design / System analysis / Computer software, development
Christel Baier, Holger Hermanns · Springer London, Limited
Sayfa sayısı yok · 2006
Parallel processing (electronic computers)