Conte aos seus amigos sobre este item:
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 2005 edition
Manfred Broy
Preço
Mex$ 3.995
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 15 - 21 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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 2005 edition
Manfred Broy
Draws from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held in Germany in 2004. Examining software engineering techniques and foundations used for industrial tasks, this book presents mathematical foundations of software engineering and engineering methods in their theoretical substance.
404 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 15 de julho de 2005 |
| ISBN13 | 9781402035319 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 404 |
| Dimensões | 155 × 235 × 21 mm · 580 g |
| Idioma | English |
| Editor | Broy, Manfred |
| Editor | Gruenbauer, Johannes |
| Editor | Harel, David |
| Editor | Hoare, Tony |
Mostrar tudo
Mais por Manfred Broy
![Cover for Manfred Broy · Software Pioneers: Contributions to Software Engineering (Paperback Book) [Softcover reprint of the original 1st ed. 2002 edition] (2014)](https://imusic.b-cdn.net/images/item/original/708/9783642639708.jpg?manfred-broy-2014-software-pioneers-contributions-to-software-engineering-paperback-book&class=scaled&v=1587377445)
![Cover for Manfred Broy · Projektorganisation Und Management Im Software Engineering - Xpert.Press (Hardcover Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/897/9783642292897.jpg?manfred-broy-2013-projektorganisation-und-management-im-software-engineering-xpert-press-hardcover-book&class=scaled&v=1407512861)
![Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.press (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 2004 edition] (2013)](https://imusic.b-cdn.net/images/item/original/670/9783642622670.jpg?manfred-broy-2013-modellbildung-in-der-informatik-xpert-press-paperback-book&class=scaled&v=1408507505)
![Cover for Manfred Broy · Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Monographs in Computer Science (Paperback Book) [Softcover Reprint of the Original 1st Ed. 2001 edition] (2012)](https://imusic.b-cdn.net/images/item/original/184/9781461265184.jpg?manfred-broy-2012-specification-and-development-of-interactive-systems-focus-on-streams-interfaces-and-refinement-monographs-in-computer-science-paperback-book&class=scaled&v=1587386552)
![Cover for Manfred Broy · VDI-Lexikon Informatik Und Kommunikationstechnik - VDI-Buch (Paperback Book) [2nd 2. Aufl. 1999. Softcover Reprint of the Origin edition] (2012)](https://imusic.b-cdn.net/images/item/original/469/9783642468469.jpg?manfred-broy-2012-vdi-lexikon-informatik-und-kommunikationstechnik-vdi-buch-paperback-book&class=scaled&v=1581575073)
![Cover for Manfred Broy · Informatik und Mathematik (Paperback Book) [Softcover reprint of the original 1st ed. 1991 edition] (2011)](https://imusic.b-cdn.net/images/item/original/787/9783642766787.jpg?manfred-broy-2011-informatik-und-mathematik-paperback-book&class=scaled&v=1587386050)
![Cover for Manfred Broy · Programming and Mathematical Method: International Summer School - Nato ASI Subseries F: (Paperback Book) [Softcover reprint of the original 1st ed. 1992 edition] (2011)](https://imusic.b-cdn.net/images/item/original/741/9783642775741.jpg?manfred-broy-2011-programming-and-mathematical-method-international-summer-school-nato-asi-subseries-f-paperback-book&class=scaled&v=1404105610)
![Cover for Manfred Broy · 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: (Paperback Book) [Softcover reprint of the original 1st ed. 1989 edition] (2011)](https://imusic.b-cdn.net/images/item/original/868/9783642748868.jpg?manfred-broy-2011-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-paperback-book&class=scaled&v=1450457557)
![Cover for Manfred Broy · Mathematical Methods in Program Development - Nato ASI Subseries F: (Paperback Book) [Softcover reprint of the original 1st ed. 1997 edition] (2011)](https://imusic.b-cdn.net/images/item/original/884/9783642645884.jpg?manfred-broy-2011-mathematical-methods-in-program-development-nato-asi-subseries-f-paperback-book&class=scaled&v=1642931156)
![Cover for Manfred Broy · Deductive Program Design - Nato ASI Subseries F: (Paperback Book) [Softcover reprint of the original 1st ed. 1996 edition] (2011)](https://imusic.b-cdn.net/images/item/original/496/9783642648496.jpg?manfred-broy-2011-deductive-program-design-nato-asi-subseries-f-paperback-book&class=scaled&v=1608064380)
![Cover for Manfred Broy · Program Design Calculi - Nato ASI Subseries F: (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (2010)](https://imusic.b-cdn.net/images/item/original/644/9783642081644.jpg?manfred-broy-2010-program-design-calculi-nato-asi-subseries-f-paperback-book&class=scaled&v=1583919472)
![Cover for Manfred Broy · Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/774/9783540376774.jpg?manfred-broy-2006-automotive-software-connected-services-in-mobile-networks-first-automotive-software-workshop-aswsd-2004-san-diego-ca-usa-january-10-12-2004-revised-selected-papers-information-systems-and-applications-incl-internet-web-and-hci-paperback-b&class=scaled&v=1608830827)
![Cover for Manfred Broy · Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/787/9783540262787.jpg?manfred-broy-2005-model-based-testing-of-reactive-systems-advanced-lectures-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1533715649)
![Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.Press (Hardcover Book) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/929/9783540442929.jpg?manfred-broy-2003-modellbildung-in-der-informatik-xpert-press-hardcover-book&class=scaled&v=1478765248)
![Cover for Manfred Broy · Informatik: Eine Grundlegende Einfuhrung. Band 2: Systemstrukturen Und Theoretische Informatik - Springer-Lehrbuch (Hardcover Book) [2nd 2. Aufl. 1998. Nachdruck 2003 edition] (1998)](https://imusic.b-cdn.net/images/item/original/920/9783540643920.jpg?manfred-broy-1998-informatik-eine-grundlegende-einfuhrung-band-2-systemstrukturen-und-theoretische-informatik-springer-lehrbuch-hardcover-book&class=scaled&v=1417992127)
![Cover for Manfred Broy · Informatik (Paperback Book) [2. Aufl. edition] (1997)](https://imusic.b-cdn.net/images/item/original/344/9783540632344.jpg?manfred-broy-1997-informatik-paperback-book&class=scaled&v=1417992130)
![Cover for Manfred Broy · Informatik. Eine Grundlegende Einfuhrung - Springer-lehrbuch (Paperback Book) [German edition] (1994)](https://imusic.b-cdn.net/images/item/original/723/9783540576723.jpg?manfred-broy-1994-informatik-eine-grundlegende-einfuhrung-springer-lehrbuch-paperback-book&class=scaled&v=1417992133)
![Cover for Manfred Broy · Program Design Calculi - Nato ASI Subseries F: (Hardcover Book) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/435/9783540569435.jpg?manfred-broy-1993-program-design-calculi-nato-asi-subseries-f-hardcover-book&class=scaled&v=1608613342)
![Cover for Manfred Broy · Informatik - Springer-lehrbuch (Paperback Book) [German edition] (1992)](https://imusic.b-cdn.net/images/item/original/911/9783540551911.jpg?manfred-broy-1992-informatik-springer-lehrbuch-paperback-book&class=scaled&v=1417992127)
![Cover for Manfred Broy · Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School - Springer Study Edition (Paperback Book) [Softcover reprint of the original 1st ed. 1986 edition] (1986)](https://imusic.b-cdn.net/images/item/original/822/9783540170822.jpg?manfred-broy-1986-control-flow-and-data-flow-concepts-of-distributed-programming-international-summer-school-springer-study-edition-paperback-book&class=scaled&v=1610456322)
![Cover for Manfred Broy · Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare - NATO Science Series C (Paperback Book) [Softcover reprint of the original 1st ed. 1982 edition] (1982)](https://imusic.b-cdn.net/images/item/original/626/9789027714626.jpg?manfred-broy-1982-theoretical-foundations-of-programming-methodology-lecture-notes-of-an-international-summer-school-directed-by-f-l-bauer-e-w-dijkstra-and-c-a-r-hoare-nato-science-series-c-paperback-book&class=scaled&v=1612729100)
Ver tudo de Manfred Broy ( por exemplo Paperback Book , Hardcover Book e Book )