Yazar
Rom Langerak
1 cilt bulundu.
Cilt sonuçları
ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink · Springer
403 sayfa · 2017
Computer science, mathematics / Computer simulation / Logic, symbolic and mathematical
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Joost-Pieter Katoen, Rom Langerak, Arend Rensink · Springer
403 sayfa · 2017
Computer science, mathematics / Computer simulation / Logic, symbolic and mathematical