Einar Broch Johnsen
Einar Broch Johnsen
3 ספרים במאגר
ספרים
Integrated Formal MethodsEinar Broch Johnsen
Integrated Formal Methods
Einar Broch Johnsen · 2013
Fundamental Approaches to Software EngineeringEinar Broch Johnsen
Fundamental Approaches to Software Engineering
Einar Broch Johnsen · 2022
Software Engineering and Formal MethodsEinar Broch Johnsen
Software Engineering and Formal Methods
Einar Broch Johnsen · 2018
ספרים משותפים ואוספים
ספרים שבהם Einar Broch Johnsen מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Logic of Software. a Tasting Menu of Formal MethodsWolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt · 2022
Formal Methods for Multicore ProgrammingMarco Bernardo
Formal Methods for Multicore Programming
Marco Bernardo · 2015
Formal Methods for Executable Software ModelsMarco Bernardo
Formal Methods for Executable Software Models
Marco Bernardo · 2014
Service-Oriented and Cloud ComputingFlavio De Paoli
Service-Oriented and Cloud Computing
Flavio De Paoli · 2012
Formal Methods for Open Object-Based Distributed SystemsMarcello M. Bonsangue
Formal Methods for Open Object-Based Distributed Systems
Marcello M. Bonsangue · 2007
Tests and ProofsSebastian Gabmeyer
Tests and Proofs
Sebastian Gabmeyer · 2017
Theory and Practice of Formal MethodsErika Abraham
Theory and Practice of Formal Methods
Erika Abraham · 2016