Einar Broch Johnsen

Popular items by Einar Broch Johnsen

View all offers

Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science)

Item prices starting from

US$ 46.03

View 19 offers

Also find
New, Used, First Edition
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Programming and Software Engineering)

Item prices starting from

US$ 62.60

View 17 offers

Also find
New, Used
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Item prices starting from

US$ 55.66

View 10 offers

Also find
New
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)

Item prices starting from

US$ 68.24

View 12 offers

Also find
New, Used
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner H�hnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Item prices starting from

US$ 103.85

View 17 offers

Also find
New, Used
Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings (Programming and Software Engineering)

Item prices starting from

US$ 67.79

View 15 offers

Also find
New, Used
Active Object Languages: Current Research Trends (Lecture Notes in Computer Science)

Item prices starting from

US$ 84.74

View 14 offers

Also find
New, Used