{"title":"Manfred Broy","description":null,"products":[{"product_id":"engineering-theories-of-software-intensive-systems-book-manfred-broy-9781402035319","title":"Engineering Theories of Software Intensive Systems","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51552419709201,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":51552420987153,"sku":"CIN0275935841G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52128577421585,"sku":"NLS9781402035319","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1402035314.jpg?v=1750954962"},{"product_id":"engineering-theories-of-software-intensive-systems-book-manfred-broy-9781402035302","title":"Engineering Theories of Software Intensive Systems","description":"Includes contributions from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany, in August 2004. This book presents mathematical foundations of software engineering and engineering methods to examine software engineering techniques and foundations in industries.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126838882577,"sku":"NLS9781402035302","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402035302.jpg?v=1786614214"},{"product_id":"modellbildung-in-der-informatik-book-manfred-broy-9783642622670","title":"Modellbildung in der Informatik","description":"\u003cp\u003eLeitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können.\u003c\/p\u003e \u003cp\u003eModelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch prägnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsübergangs- und Sequenzdiagramme. Inhärenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprüfung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen übertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle\/HOL, arbeiten.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52127129043217,"sku":"NLS9783642622670","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53494320005393,"sku":"NIN9783642622670","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642622670.jpg?v=1757483208"},{"product_id":"methods-of-programming-book-manfred-broy-9783540545767","title":"Methods of Programming","description":"The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science.Under the heading CIP (Computer-aided Intuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development.The collection of papers in this volume presents examples ofa formal approach to programming language concepts andprogram development based on algebraic specifications andprogram transformations. Examples are also presented ofevolutions and modificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfrom specifications.The volume is dedicated to Prof. F.L. Bauer.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128044744977,"sku":"NLS9783540545767","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540545767.jpg?v=1786088858"},{"product_id":"formal-systems-specification-book-manfred-broy-9783540619840","title":"Formal Systems Specification","description":"The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.\u003cbr\u003ePreliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52130954510609,"sku":"NLS9783540619840","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540619840.jpg?v=1786089315"},{"product_id":"formal-methods-in-programming-and-their-applications-book-igor-pottosin-9783540573166","title":"Formal Methods in Programming and Their Applications","description":"This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52132128686353,"sku":"NLS9783540573166","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53494291562769,"sku":"NIN9783540573166","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540573166.jpg?v=1786100665"},{"product_id":"informatik-book-manfred-broy-9783540643920","title":"Informatik","description":"Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 fat die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken fur verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschlieenden Ausblick auf Anwendungen der Informatik den Bezug zu aktuellen Fragen her.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52143853895953,"sku":"NLS9783540643920","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540643920.jpg?v=1757586289"},{"product_id":"vdi-lexikon-informatik-und-kommunikationstechnik-book-manfred-broy-9783642468469","title":"VDI-Lexikon Informatik und Kommunikationstechnik","description":"Dieses Lexikon bietet anschauliche und verständliche Informationen betreffend der theoretischen Informatik, Rechnerarchitekturen und Hardware, Softwaretechnologie, Informationssysteme und Datenbanken, künstliche Intelligenz, graphische Datenverarbeitung, Bürosysteme, Kommunikationstechnik, Nachrichtentechnik sowie Anwendungen informationstechnischer Systeme für Sprachverarbeitung, Simulation im Umweltschutz, Datensicherheit und Zuverlässigkeit informationstechnischer Systeme.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52143868379409,"sku":"NLS9783642468469","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642468469.jpg?v=1757586351"},{"product_id":"korso-methods-languages-and-tools-for-the-construction-of-correct-software-book-manfred-broy-9783540605898","title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","description":"This book constitutes the final report of the work carried out in the project KORSO (Korrekte Software) funded by the German Federal Ministry for Research and Technology.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52143955443985,"sku":"NLS9783540605898","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540605898.jpg?v=1786021590"},{"product_id":"specification-and-development-of-interactive-systems-book-manfred-broy-9781461265184","title":"Specification and Development of Interactive Systems","description":"This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi- neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi- cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52337520083217,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52337520738577,"sku":"NLS9781461265184","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461265184.jpg?v=1785952570"},{"product_id":"informatik-und-mathematik-book-manfred-broy-9783642766787","title":"Informatik und Mathematik","description":"Dieser Band dokumentiert ein Kolloquium mit dem Titel Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik. Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anlasslich des 65. Geburtstags von Herrn Prof. Dr. Dr. h.c. mult. Friedrich L. Bauer statt, dem die Informatik von Anfang an entscheidende Impulse verdankt. Die Beitrage spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenhange fasziniert. Mehrere Jahrzehnte der Entwicklung der Informatik haben gezeigt, wie eng Fragestellungen der Numerik, des Rechnerentwurfs, aber auch Fragen der Programmierung und allgemein Fragen der Logik und der Algebra miteinander verknupft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin fur die Beschreibung von System- und Algorithmen strukturen, die sich Methoden der Logik und der Algebra zunutze macht. Die Vielfalt der Einzelprobleme in der Numerischen Mathematik, in der Schaltalgebra und der Relationentheorie, bei Zerteilungs- und Erkennungsproblemen, in der Algebraischen Logik, in der Programmiertechnik und im Ubersetzerbau, und schliesslich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der asthetische und kulturelle Gehalt dieser Themengebiete erschliesst sich uber technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleichermassen vom Nutzen und von der Schonheit der Formeln in der Mathematik und in der Informatik handelt.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52341504016657,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52341504540945,"sku":"NLS9783642766787","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642766787.jpg?v=1758171796"},{"product_id":"automotive-software-connected-services-in-mobile-networks-book-manfred-broy-9783540376774","title":"Automotive Software-Connected Services in Mobile Networks","description":"Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. Today’s luxury cars contain up to 80 electronic control units (ECUs) and 5 di?erent, inter-connectednetworkplatforms, overwhich some700 software-enabled functions are distributed. On the other hand, the complexity induced by this largenumber of functions, their interactions, and their supporting infrastructure has started to becomethe limiting factor for automotive software development. Adequate management of this complexity is particularly important; the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers (e.g., to call for help in cases of emergency), between cars and devices brought into the car by drivers and passengers (such as cell phones, PDAs, and laptops), and even among cars. This dramatically shifts the focus from the development of individual software solutionsresidingondedicatedECUstotheirdistributionandinteractionwithin and beyond car boundaries.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52351544951057,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52351545573649,"sku":"NLS9783540376774","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540376774.jpg?v=1789465810"},{"product_id":"programming-and-mathematical-method-book-manfred-broy-9783642775741","title":"Programming and Mathematical Method","description":"The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the - specification, - refinement, - verification of programs and program systems. Some extremely remarkable examples were given. Looking at these examples it becomes clear that proper research and teaching in the area of program methodology should always show its value by being applied at least to small examples or case studies. It is one of the problems of computing science that examples and case studies have to be short and small to be lJresentable in lectures and papers of moderate size. However, even small examples can tell a lot about the tractability and adequacy of methods and being able to treat small examples does at least prove that the method can be applied in modest ways. Furthermore it demonstrates to some extent the notational and calculational overhead of applying formal methods.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52352949518609,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52352950042897,"sku":"NLS9783642775741","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642775741.jpg?v=1758182426"},{"product_id":"perspectives-of-systems-informatics-book-manfred-broy-9783540208136","title":"Perspectives of Systems Informatics","description":"Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgorodok (Novosibirsk, Russia), July 9-12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov's closest colleague, the late Prof. Igor Pottosin (1933-2001), and his outstanding cont- bution towards advancing informatics. The ?rst four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001, and they proved to be signi?cant international events. Andrei Ershov was one of the early Russian pioneers in the ?eld of theo- tical and systems programming, a founder of the Siberian School of Computer Science. His closest colleague, Igor Pottosin, worked for the Siberian Branch of the Russian Academy of Sciences from 1958, step by step ?lling positions from junior researcher to director of the A.P. Ershov Institute of Informatics - stems. In later years he headed the Laboratory of Systems Programming in this institute and the Department of Programming at Novosibirsk State University.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52354290745617,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52354291138833,"sku":"NLS9783540208136","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540208136.jpg?v=1785926223"},{"product_id":"software-pioneers-book-manfred-broy-9783642639708","title":"Software Pioneers","description":"A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) allow one modu1e to be written with little knowledge of the code in another module, and (2) alJow modules to be reas  sembled and replaced without reassembly of the whole system.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52355944087825,"sku":"NLS9783642639708","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642639708.jpg?v=1789467138"},{"product_id":"projektorganisation-und-management-im-software-engineering-book-manfred-broy-9783642292897","title":"Projektorganisation und Management im Software Engineering","description":"\u003cp\u003eSoftware Engineering hat das ingenieurmäßige Entwickeln umfangreicher Softwaresysteme zum Ziel. Kritische Größen sind Kosten, Termine und Qualität. Neben unterschiedlichen Themengebieten der Softwaretechnik umfasst das Software Engineering aber insbesondere auch Themen der Projektplanung, der Projektorganisation und der Projektdurchführung, also das Management und die Organisation von Softwareprojekten. Dieses Fachbuch führt in die grundlegenden Aufgaben und Zusammenhänge der Organisation und des Managements von Softwareprojekten ein. Es richtet sich an Praktiker, Berufseinsteiger und Studierende der Informatik und behandelt die folgenden Themen:\u003cbr\u003e- Grundlagen zu Softwareprojekten und deren Organisation\u003cbr\u003eVorgehensmodelle im Software Engineering\u003cbr\u003e- Unternehmens- und Projektorganisation\u003cbr\u003eProjektdefinition, Aufwandsschätzung, Angebots- und Vertragswesen\u003cbr\u003e- Projektmanagement- und QS-Verfahren\u003cbr\u003e- Techniken der Planung, Kontrolle und Steuerung von Softwareprojekten\u003cbr\u003e- Metriken, Messung und Reifegradmodelle für Softwareprojekte\u003cbr\u003eMit zahlreichen Übungen werden die Inhalte vertieft und in einen praktisch anwendbaren Kontext gestellt.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52403981189393,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52403981680913,"sku":"NLS9783642292897","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642292897.jpg?v=1786106176"},{"product_id":"ubungen-zur-einfuhrung-in-die-informatik-strukturierte-aufgabensammlung-mit-musterlosungen-cd-9783540420651","title":"Übungen zur Einführung in die Informatik","description":"Der Aufgaben-Band zu einer viersemestrigen Einf hrungsvorlesung ist eng abgestimmt auf die zweib ndige Informatik-Einf hrung von M. Broy - das Gelernte l sst sich damit leicht von der Theorie in die Praxis umsetzen. Neben Aufgaben zu allen wichtigen Themengebieten der Einf hrung werden vertiefende und weiterf hrende Aufgaben angeboten. Zus tzlich umfasst das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI mit kurzen Einf hrungen.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52406729376017,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52406729933073,"sku":"NLS9783540420651","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540420651.jpg?v=1785941658"},{"product_id":"program-design-calculi-book-manfred-broy-9783540569435","title":"Program Design Calculi","description":"The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52425555018001,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425555509521,"sku":"NLS9783540569435","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540569435.jpg?v=1786087369"},{"product_id":"deductive-program-design-book-manfred-broy-9783540609476","title":"Deductive Program Design","description":"Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon Gay, and Rajagopal Nagarajan contribute a fundamental study founding concurrent programming on interaction categories and foundations of type theory. Tony Hoare presents unifying views on mathematical models for computing science. Unifying theories are especially important if the whole development process of programs is to be supported by deductive techniques. The rest of the contributions address applications of deductive program design methods. They are directed to different areas of application; for example Richard Bird's and Oege de Moor's algebra of programming is mainly intended for classical functional programming, and the contribution on data refinement and their transformation by David Gries considers sequential procedural programs.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52425903833361,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425904423185,"sku":"NLS9783540609476","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540609476.jpg?v=1786039099"},{"product_id":"informatik-eine-grundlegende-einfuhrung-book-manfred-broy-9783540632344","title":"Informatik Eine grundlegende Einführung","description":"Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere, formale Fundierung und begriffliche Klarheit aus. Der erste Teil stellt das gesamte Gebiet der problemnahen Programmierung vor, von Algorithmenbegriffen über Techniken der funktionalen und der prozeduralen Programmierung und Datenstrukturen zur Programmiermethodik. Der zweite behandelt die technische Informationsverarbeitung, von der Binärcodierung über digitale Schaltungen und Rechnerarchitekturen bis hin zu maschinennaher Programmierung.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52454373392657,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52454373916945,"sku":"NLS9783540632344","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540632344.jpg?v=1759370965"},{"product_id":"specification-and-development-of-interactive-systems-book-manfred-broy-9780387950730","title":"Specification and Development of Interactive Systems","description":"This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi- neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi- cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52455410336017,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52455410893073,"sku":"NLS9780387950730","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387950730.jpg?v=1785925413"},{"product_id":"perspectives-of-system-informatics-book-manfred-broy-9783540671022","title":"Perspectives of System Informatics","description":"This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers, presented together with five revised full invited papers, were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on: algebraic specifications; partial evaluation and super compilation; specification with states; concurrency and parallelism; logic and processes; languages and software; database programming; object-oriented programming; constraint programming; model checking and program checking; and artificial intelligence.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52472175165713,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52472175952145,"sku":"NLS9783540671022","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540671022.jpg?v=1785916860"},{"product_id":"program-design-calculi-book-manfred-broy-9783642081644","title":"Program Design Calculi","description":"The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52477021880593,"sku":"NLS9783642081644","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52932504256785,"sku":"NIN9783642081644","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642081644.jpg?v=1786094881"},{"product_id":"logische-und-methodische-grundlagen-der-programm-und-systementwicklung-book-manfred-broy-9783658263010","title":"Logische und Methodische Grundlagen der Programm- und Systementwicklung","description":"\u003cb\u003eEignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwicklung an \u003c\/b\u003e\u003cp\u003eGeht man beim Entwickeln von Programmen von einer informellen Problemstellung aus, erfordert das:\u003c\/p\u003e\u003cp\u003ea)     die Spezifikation des Programms unter Festlegung der Daten- und Rechenstrukturen.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eb)     die Implementierung.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003ec)      die Verifikation der Korrektheit.\u003c\/p\u003e\n\nUm diese Aufgaben zu bewältigen, hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, welche in Manfred Broy und Alexander Malkis Buch „Logische und Methodische Grundlagen der Programm- und Systementwicklung“ übersichtlich zusammengefasst und an praktischen Beispielen erläutert werden.\u003cp\u003e\u003c\/p\u003e\u003cb\u003e Um was geht es im Detail? \u003c\/b\u003e\u003cp\u003eIn ihrem Buch über System- und Programmentwicklung behandeln die Autoren im Kern folgende Themen:\u003c\/p\u003e\u003cp\u003e·         Algebraische Spezifikationen von Daten- und Rechenstrukturen sowie die Fähigkeit, daraus Eigenschaften abzuleiten\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e·         Die Spezifikation und Implementierung\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e·         Den Nachweis der Korrektheit für funktionale, prozedurale und objektorientierte Programme\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eDies schließt unter anderem auch Themen wie Korrektheits- und Terminierungsbeweise, Design-by-Contract und schrittweise Verfeinerung ein.\u003c\/p\u003e\n\n\u003cp\u003eMit ihrem Buch „Logische und Methodische Grundlagen der Programm- und Systementwicklung“ gelingt es Broy und Malkis, die wichtigsten Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen zu vermitteln. Das Werk richtet sich deshalb an Studierende aus der Informatik und an Praktiker des Software-Engineering mit Interesse an Grundlagen und Methodik.\u003c\/p\u003e\n\nInhalte des Buchs über Programmentwicklung in der Übersicht·         Einführung indie Grundlagen der Softwareentwicklung\u003cbr\u003e·         Rechen- und Datenstrukturen\u003cbr\u003e·         Algebraische Datenmodellierung\u003cbr\u003e·         Funktionale Programmierung\u003cbr\u003e·         Anweisungsorientierte, sequenzielle Programmierung\u003cbr\u003e·         Referenzen, Zeiger und organisierter Speicher\u003cbr\u003e·         Verfeinerung\u003cbr\u003e·         Grundlagen der Objektorientierung·         Ausblick: parallel ablaufende, verteilte, kooperierende Systeme","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52588348997905,"sku":"NLS9783658263010","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":54599299563793,"sku":"NIN9783658263010","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783658263010.jpg?v=1761057948"},{"product_id":"model-driven-development-of-reliable-automotive-services-book-manfred-broy-9783540709299","title":"Model-Driven Development of Reliable Automotive Services","description":"Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616882127121,"sku":"NLS9783540709299","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540709299.jpg?v=1761528666"},{"product_id":"informatik-eine-grundlegende-einfuhrung-book-manfred-broy-9783540576723","title":"Informatik. Eine grundlegende Einführung","description":"Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken für Systeme, z.B. Petri-Netze und die Hoare'sche Notation für kommunizierende, sequentielle Programme, vorgestellt sowie die Programmierung parallel ablaufender Programme. Weiter werden typische Aspekte der systemnahen Programmierung wie Aufbau und Wirkungsweise von Betriebssystemen besprochen sowie die syntaktischen und semantischen Aspekte der Implementierung von Programmiersprachen. Dabei werden für eine einfache funktionale Sprache beispielhaft ein Übersetzer und ein Interpretierer angegeben.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616971190545,"sku":"NLS9783540576723","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540576723.jpg?v=1787133541"},{"product_id":"deductive-program-design-book-manfred-broy-9783642648496","title":"Deductive Program Design","description":"Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon Gay, and Rajagopal Nagarajan contribute a fundamental study founding concurrent programming on interaction categories and foundations of type theory. Tony Hoare presents unifying views on mathematical models for computing science. Unifying theories are especially important if the whole development process of programs is to be supported by deductive techniques. The rest of the contributions address applications of deductive program design methods. They are directed to different areas of application; for example Richard Bird's and Oege de Moor's algebra of programming is mainly intended for classical functional programming, and the contribution on data refinement and their transformation by David Gries considers sequential procedural programs.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617332261137,"sku":"NLS9783642648496","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52932511596817,"sku":"NIN9783642648496","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642648496.jpg?v=1786089338"},{"product_id":"mathematical-methods-in-program-development-book-manfred-broy-9783642645884","title":"Mathematical Methods in Program Development","description":"Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52618681024785,"sku":"NLS9783642645884","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642645884.jpg?v=1786020788"},{"product_id":"informatik-book-manfred-broy-9783540551911","title":"Informatik","description":"Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.\u003cbr\u003eIn diesem ersten von vier Bänden wird das gesamte Gebiet der problemnahen Programmierung dargestellt: Algorithmenbegriff, Techniken der funktionalen und der prozeduralen Programmierung, Datenstrukturen und ihre Darstellung in Programmiersprachen sowie Programmiermethodik.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52619085611281,"sku":"NLS9783540551911","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540551911.jpg?v=1787140223"},{"product_id":"modellbildung-in-der-informatik-book-manfred-broy-9783540442929","title":"Modellbildung in der Informatik","description":"\u003cp\u003eLeitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können.\u003c\/p\u003e \u003cp\u003eModelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch prägnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsübergangs- und Sequenzdiagramme. Inhärenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprüfung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen übertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle\/HOL, arbeiten.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52656801546513,"sku":"NLS9783540442929","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":54664525381905,"sku":"NIN9783540442929","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540442929.jpg?v=1785955546"},{"product_id":"model-based-testing-of-reactive-systems-book-manfred-broy-9783540262787","title":"Model-Based Testing of Reactive Systems","description":"The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52662988374289,"sku":"NLS9783540262787","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540262787.jpg?v=1762270861"},{"product_id":"perspectives-of-systems-informatics-book-manfred-broy-9783662208465","title":"Perspectives of Systems Informatics","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52682519707921,"sku":"NLS9783662208465","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662208465.jpg?v=1762318334"},{"product_id":"logische-und-methodische-grundlagen-der-entwicklung-verteilter-systeme-book-manfred-broy-9783662673164","title":"Logische und Methodische Grundlagen der Entwicklung verteilter Systeme","description":"Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bew ltigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ans tze und Methoden entwickelt, die in zwei B nden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erl utert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenl ufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLAund pr dikative Spezifikation.Dies schlie t unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen f r eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52685390643473,"sku":"NLS9783662673164","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662673164.jpg?v=1790194307"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-manfred-broy.oembed","provider":"World of Books ","version":"1.0","type":"link"}