Einar Broch Johnsen
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
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
