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
Einführung in die Softwaretechnik Xpert.press Autor Manfred Broy et al. iul 2021 Hardback Preț: 319.43 lei 399.29 lei 38-45 zile -20%
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%
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis Autor Manfred Broy et al. 27 iun 2019 Paperback Preț: 194.67 lei 243.34 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%
Projektorganisation und Management im Software Engineering Xpert.press Autor Manfred Broy et al. 7 oct 2013 Hardback Preț: 328.00 lei 409.99 lei 38-45 zile -20%
Software-Entwicklung für Kommunikationsnetze Xpert.press Cu Manfred Broy et al. 5 noi 2012 Paperback Preț: 277.18 lei 346.48 lei 38-45 zile -20%
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO ASI Subseries F:, nr. 36 F. Bauer et al. 9 apr 2012 Paperback Preț: 311.34 lei 389.17 lei 38-45 zile -20%
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO ASI Subseries F:, nr. 55 F. L. Bauer et al. 6 dec 2011 Paperback Preț: 582.81 lei 728.51 lei 38-45 zile -20%
Informatik und Mathematik Editat de Manfred Broy 23 dec 2011 Paperback Preț: 390.50 lei 488.11 lei 38-45 zile -20%
Programming and Mathematical Method: International Summer School NATO ASI Subseries F:, nr. 88 F. L. Bauer et al. 21 dec 2011 Paperback Preț: 576.30 lei 720.37 lei 38-45 zile -20%
Deductive Program Design NATO ASI Subseries F:, nr. 152 Editat de Manfred Broy 18 iun 1996 Hardback Preț: 1181.82 lei 1477.27 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%
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings Lecture Notes in Computer Science, nr. 1755 Editat de Dines Bjørner et al. 26 ian 2000 Paperback Preț: 586.65 lei 733.31 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%
Informatik. Eine grundlegende Einführung: Teil III: Systemstrukturen und systemnahe Programmierung Springer-Lehrbuch Autor Manfred Broy 9 sep 1994 Paperback Preț: 248.94 lei 311.18 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%
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School Springer Study Edition F. L. Bauer et al. dec 1986 Paperback Preț: 587.02 lei 733.78 lei 38-45 zile -20%