Yazar
Nikolai Kosmatov
4 cilt bulundu.
Cilt sonuçları
Tests and Proofs
Jasmin Christian Blanchette, Nikolai Kosmatov · Springer London, Limited
209 sayfa · 2015
Constraint programming (computer science)
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles · Springer International Publishing AG
697 sayfa · 2024
Kategori yok