We a good story
Quick delivery in the UK

Books by Manfred Broy

Filter
Filter
Genre
  • ()
Type
  • (8)
  • (1)
Format
  • (6)
  • (2)
  • (1)
Language
  • (5)
  • (4)
Price
Series
  • (2)
  • (1)
  • (1)
  • (1)
  • (1)
Sort bySort Popular
  • by Manfred Broy
    £38.99

  • by Manfred Broy & Ketil Stølen
    £0.00 - 71.99

  • - 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
    by Manfred Broy
    £86.99

  • by Manfred Broy & Marco Kuhrmann
    £0.00 - 38.99

  • - Eine grundlegende Einfuhrung Teil II. Rechnerstrukturen und maschinennahe Programmierung
    by Manfred Broy
    £32.99

    Dieser zweite von vier Banden zur Einfuhrung in die Informatik behandelt die technische Informationsverarbeitung, von der Binarcodierung der Information uber digitale Schaltungen und Rechnerarchitekturen bis hin zu maschinennaher Programmierung und dem Ubergang zur (im ersten Band behandelten) problemnahen Programmierung. Wesentlich fur das Verstandnis sind dabei nicht nur die konkreten Strukturen, sondern auch die fur die Arbeitsweise der Informatik typische Schichtung in Abstraktionsebenen. Der Band gibt den Stoff des zweiten Semesters einer Einfuhrungsvorlesung des Informatikstudiums wieder. Die Themen der beiden folgenden Bande sind Systemstrukturen (Verteilte Systeme, Betriebssysteme, Ubersetzer) und systembezogene Programmierung bzw. theoretische Grundlagen (Formale Sprachen, Berechenbarkeit, Komplexitat).

  • - International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997
    by Manfred Broy
    £69.49

  • by Manfred Broy
    £38.99

    Die Entwicklung umfangreicher Softwaresysteme erfordert neben der Beherrschung von Softwaretechnik auch eine fundierte Projektplanung, -organisation und -durchfuhrung. Notig sind Kenntnisse der Aufwandsschatzung und des Angebots- und Vertragswesens. Das einzigartige Lehrbuch fur Studenten bietet auch fur Berufseinsteiger die Basis fur Vorgehensweisen im Software Engineering. Die Kombination von praktischen Erfahrungen und methodischen Grundlagen zeigt die Anwendbarkeit der Inhalte auf. Zahlreiche Ubungsaufgaben vertiefen das gewonnene Wissen.

  • by Manfred Broy
    £105.49

    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.

  • by Manfred Broy
    £172.99

    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.

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.