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ț: 327.44 lei 409.30 lei
6-8 săpt.
-20%
Cărți de Heike Wehrheim
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ț: 317.31 lei 396.64 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ț: 332.24 lei 415.30 lei
6-8 săpt.
-20%
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Editat de Michael Leuschel et al.
2 feb 2009
Paperback
Preț: 337.52 lei 421.90 lei
6-8 săpt.
-20%
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Editat de Roberto Gorrieri et al.
9 iun 2006
Paperback
Preț: 331.74 lei 414.67 lei
6-8 săpt.
-20%