Model-Based Systems Engineering with the SPES Modeling Language: A SysML Workbench for the SPES Methodology Editat de Wolfgang Böhm et al. 10 sep 2024 Paperback Preț: 310.68 lei Nepublicat încă Nou
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology Editat de Wolfgang Böhm et al. 15 dec 2020 Hardback Preț: 316.91 lei 396.13 lei 38-45 zile -20%
Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology Editat de Klaus Pohl et al. 13 dec 2016 Hardback Preț: 433.88 lei 542.36 lei 38-45 zile -20%
Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology Editat de Klaus Pohl et al. 9 noi 2012 Hardback Preț: 409.85 lei 512.31 lei 38-45 zile -20%
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 NATO Science Series II: Mathematics, Physics and Chemistry, nr. 195 Editat de Manfred Broy et al. 15 iul 2005 Paperback Preț: 1144.61 lei 1430.76 lei 38-45 zile -20%
Model-Based Testing of Reactive Systems: Advanced Lectures Lecture Notes in Computer Science, nr. 3472 Editat de Manfred Broy et al. 27 iun 2005 Paperback Preț: 332.73 lei 415.92 lei 38-45 zile -20%
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report Lecture Notes in Computer Science, nr. 1009 Editat de Manfred Broy et al. 8 noi 1995 Paperback Preț: 358.71 lei 448.39 lei 38-45 zile -20%
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings Lecture Notes in Computer Science, nr. 735 Editat de Dines Bjørner et al. 5 oct 1993 Paperback Preț: 355.60 lei 444.51 lei 38-45 zile -20%
Methods of Programming: Selected Papers on the CIP-Project Lecture Notes in Computer Science, nr. 544 Editat de Manfred Broy et al. 23 oct 1991 Paperback Preț: 325.23 lei 406.54 lei 38-45 zile -20%