Herausgegeben von: Einar Broch Johnsen
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Einar Broch Johnsen.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
-16.7 %
CHF 57.50
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2
-16.7 %
CHF 57.50
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Service-Oriented and Cloud Computing
6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
-16.7 %
CHF 57.50
4
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
-16.7 %
CHF 57.50
5
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
-16.7 %
CHF 57.50
6
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
-8.2 %
CHF 123.–