Einar Broch Johnsen
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
10
Fundamental Approaches to Software Engineering
Logic of Software. a Tasting Menu of Formal Methods
Tests and Proofs
Software Engineering and Formal Methods
Formal Methods for Executable Software Models
Formal Methods for Multicore Programming
Service-Oriented and Cloud Computing
Integrated Formal Methods
Formal Methods for Open Object-Based Distributed Systems
