Yazar
Achim Brucker
4 cilt bulundu.
Cilt sonuçları
Tests and Proofs
Achim D. Brucker · Springer Berlin Heidelberg
Sayfa sayısı yok · 2012
Mathematical Logic and Formal Languages / Programming Techniques / Software engineering / Simulation and Modeling / Logic design
Tests and Proofs
Lecture Notes in Computer Science
Achim D. Brucker · Springer
187 sayfa · 2012
Software engineering / Testing / Computer software / Congresses / Verification
Secure and Trustworthy Service Composition
Achim Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios · Springer
252 sayfa · 2014
Computer networks, security measures / Web services / Software engineering / Data protection / Management information systems