On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain SpringerBriefs in Computer Science Autor Stefan Gruner et al. 14 apr 2020 Paperback Preț: 316.01 lei 395.01 lei 6-8 săpt. -20%
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings Lecture Notes in Computer Science, nr. 5256 Editat de Shaoying Liu et al. 8 oct 2008 Paperback Preț: 332.64 lei 415.80 lei 6-8 săpt. -20%
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Lecture Notes in Computer Science, nr. 5014 Editat de Jorge Cuellar et al. 8 mai 2008 Paperback Preț: 334.30 lei 417.87 lei 6-8 săpt. -20%
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers Lecture Notes in Computer Science, nr. 2757 Editat de Bernhard K. Aichernig et al. 18 noi 2003 Paperback Preț: 335.90 lei 419.86 lei 6-8 săpt. -20%
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings Lecture Notes in Computer Science, nr. 1783 Editat de Tom Maibaum 15 mar 2000 Paperback Preț: 330.55 lei 413.19 lei 6-8 săpt. -20%