Fortæl dine venner om denne vare:
Deductive Program Design - Nato ASI Subseries F: Manfred Broy Softcover reprint of the original 1st ed. 1996 edition
Pris
DKK 1.689
Bestilles fra fjernlager
Forventes klar til forsendelse 19. - 29. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Deductive Program Design - Nato ASI Subseries F:
Manfred Broy
Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.
479 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 26. september 2011 |
| ISBN13 | 9783642648496 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 470 |
| Mål | 155 × 235 × 24 mm · 671 g |
| Sprog | Tysk |
| Klipper/redaktør | Broy, Manfred |
Vis alle
Mere med Manfred Broy
![Cover for Manfred Broy · Logische und Methodische Grundlagen der Entwicklung verteilter Systeme: Unter Mitarbeit von Alexander Malkis (Paperback Bog) [1. Aufl. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/164/9783662673164.jpg?manfred-broy-2023-logische-und-methodische-grundlagen-der-entwicklung-verteilter-systeme-unter-mitarbeit-von-alexander-malkis-paperback-bog&class=scaled&v=1749648686)
![Cover for Manfred Broy · Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis (Paperback Bog) [1. Aufl. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/010/9783658263010.jpg?manfred-broy-2019-logische-und-methodische-grundlagen-der-programm-und-systementwicklung-datenstrukturen-funktionale-sequenzielle-und-objektorientierte-programmierung-unter-mitarbeit-von-alexander-malkis-paperback-bog&class=scaled&v=1619827803)
![Cover for Manfred Broy · Software Pioneers: Contributions to Software Engineering (Paperback Bog) [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-bog&class=scaled&v=1587377445)
![Cover for Manfred Broy · Projektorganisation Und Management Im Software Engineering - Xpert.Press (Hardcover bog) [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-bog&class=scaled&v=1407512861)
![Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.press (Paperback Bog) [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-bog&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 Bog) [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-bog&class=scaled&v=1587386552)
![Cover for Manfred Broy · VDI-Lexikon Informatik Und Kommunikationstechnik - VDI-Buch (Paperback Bog) [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-bog&class=scaled&v=1581575073)
![Cover for Manfred Broy · Informatik und Mathematik (Paperback Bog) [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-bog&class=scaled&v=1587386050)
![Cover for Manfred Broy · Programming and Mathematical Method: International Summer School - Nato ASI Subseries F: (Paperback Bog) [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-bog&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 Bog) [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-bog&class=scaled&v=1450457557)
![Cover for Manfred Broy · Mathematical Methods in Program Development - Nato ASI Subseries F: (Paperback Bog) [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-bog&class=scaled&v=1642931156)
![Cover for Manfred Broy · Program Design Calculi - Nato ASI Subseries F: (Paperback Bog) [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-bog&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 Bog) [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 · 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 (Hardcover bog) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/302/9781402035302.jpg?manfred-broy-2005-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-hardcover-bog&class=scaled&v=1511512241)
![Cover for Manfred Broy · 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 (Paperback Bog) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/319/9781402035319.jpg?manfred-broy-2005-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-paperback-bog&class=scaled&v=1511512241)
![Cover for Manfred Broy · Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science (Paperback Bog) [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-bog&class=scaled&v=1533715649)
![Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.Press (Hardcover bog) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/929/9783540442929.jpg?manfred-broy-2003-modellbildung-in-der-informatik-xpert-press-hardcover-bog&class=scaled&v=1478765248)
![Cover for Manfred Broy · Informatik: Eine Grundlegende Einfuhrung. Band 2: Systemstrukturen Und Theoretische Informatik - Springer-Lehrbuch (Hardcover bog) [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-bog&class=scaled&v=1417992127)
![Cover for Manfred Broy · Informatik (Paperback Bog) [2. Aufl. edition] (1997)](https://imusic.b-cdn.net/images/item/original/344/9783540632344.jpg?manfred-broy-1997-informatik-paperback-bog&class=scaled&v=1417992130)
![Cover for Manfred Broy · Informatik. Eine Grundlegende Einfuhrung - Springer-lehrbuch (Paperback Bog) [German edition] (1994)](https://imusic.b-cdn.net/images/item/original/723/9783540576723.jpg?manfred-broy-1994-informatik-eine-grundlegende-einfuhrung-springer-lehrbuch-paperback-bog&class=scaled&v=1417992133)
![Cover for Manfred Broy · Program Design Calculi - Nato ASI Subseries F: (Hardcover bog) [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-bog&class=scaled&v=1608613342)
![Cover for Manfred Broy · Informatik - Springer-lehrbuch (Paperback Bog) [German edition] (1992)](https://imusic.b-cdn.net/images/item/original/911/9783540551911.jpg?manfred-broy-1992-informatik-springer-lehrbuch-paperback-bog&class=scaled&v=1417992127)
![Cover for Manfred Broy · Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School - Springer Study Edition (Paperback Bog) [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-bog&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 Bog) [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-bog&class=scaled&v=1612729100)
Se alt med Manfred Broy ( f.eks. Paperback Bog , Hardcover bog og Bog )