Formal Methods for Open Object-Based Distributed Systems
Editat de Roberto Gorrieri et al.
9 iun 2006
Paperback
Preț: 320.16 lei 400.20 lei
6-8 săpt.
-20%
Cărți de Heike Wehrheim
Integrated Formal Methods
Editat de Michael Leuschel et al.
2 feb 2009
Paperback
Preț: 325.25 lei 406.57 lei
6-8 săpt.
-20%
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Editat de Roland Meyer et al.
3 sep 2015
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Editat de Wolfgang Ahrendt et al.
20 iun 2020
Paperback
Preț: 315.00 lei 393.74 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Editat de Heike Wehrheim et al.
21 apr 2020
Paperback
Preț: 305.25 lei 381.56 lei
6-8 săpt.
-20%