Yazar
joost pieter katoen
10 cilt bulundu.
Joost-Pieter Katoen · Springer-Verlag Berlin Heidelberg
Sayfa sayısı yok · 1999
Logic design / Logics and Meanings of Programs / Computer science / Software engineering / Programming Languages, Compilers, Interpreters
Joost-Pieter Katoen · Springer-Verlag GmbH Berlin Heidelberg
Sayfa sayısı yok · 2011
Logic design / Information systems / Computer science / Software engineering / Computer networks
Joost-Pieter Katoen, Rom Langerak, Arend Rensink · Springer
403 sayfa · 2017
Computer science, mathematics / Computer simulation / Logic, symbolic and mathematical
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle · Springer-Verlag
470 sayfa · 2004
Stochastic processes / Stochastic systems / Stochastic analysis
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva · Cambridge University Press
Sayfa sayısı yok · 2020
Technology
Nan Guan, Joost-Pieter Katoen, Jun Sun · Springer International Publishing AG
Sayfa sayısı yok · 2019
Kategori yok
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker · Springer International Publishing AG
Sayfa sayısı yok · 2023
Kategori yok
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner · Springer London, Limited
664 sayfa · 2005
Computer software, testing