Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Editat de John Derrick et al.
6 iun 2012
Paperback
Preț: 324.19 lei 405.23 lei
6-8 săpt.
-20%
Cărți de Stefania Gnesi
Abstract State Machines, Alloy, B, VDM, and Z
Editat de John Derrick et al.
12 iun 2012
Paperback
Preț: 326.07 lei 407.59 lei
6-8 săpt. | 7-13 zile
-20%
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Editat de Keijiro Araki et al.
27 aug 2003
Paperback
Preț: 652.07 lei 815.08 lei
6-8 săpt.
-20%
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Editat de John Fitzgerald et al.
8 noi 2016
Paperback
Preț: 344.30 lei 430.38 lei
6-8 săpt.
-20%
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Editat de Maurice H. ter Beek et al.
14 sep 2016
Paperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Editat de Stefania Gnesi et al.
17 mar 2014
Paperback
Preț: 327.04 lei 408.80 lei
6-8 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings
Editat de Nazim Madhavji et al.
19 mar 2020
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%