LIBROS DEL AUTOR: manfred broy

12 resultados para LIBROS DEL AUTOR: manfred broy

manfred broy Eliminar filtro Quitar filtros
  • Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
    Manfred Broy
    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...
    Disponible

    50,82 €

  • Modellbildung in der Informatik
    Manfred Broy / Ralf Steinbrüggen
    Leitlinie 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. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch prägnante Diagramme beschriebe...
    Disponible

    35,66 €

  • Specification and Development of Interactive Systems
    Ketil Stølen / Manfred Broy
    A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interactio...
    Disponible

    65,92 €

  • Informatik und Mathematik
    Manfred Broy
    ...
    Disponible

    96,20 €

  • Programming and Mathematical Method
    Manfred Broy
    ...
    Disponible

    133,29 €

  • Constructive Methods in Computing Science
    Manfred Broy
    ...
    Disponible

    132,95 €

  • Deductive Program Design
    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. ...
    Disponible

    268,26 €

  • Program Design Calculi
    Manfred Broy
    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...
    Disponible

    268,53 €

  • Informatik
    Manfred Broy
    Diese in der Neuauflage zweibändige Einführung 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 faßt die in der 1. Aufl...
    Disponible

    41,07 €

  • Informatik Eine grundlegende Einführung
    Manfred Broy
    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...
    Disponible

    46,91 €

  • Informatik. Eine grundlegende Einführung
    Manfred Broy
    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 kommuni...
    Disponible

    85,11 €

  • Informatik
    Manfred Broy
    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 Konstruktione...
    Disponible

    84,81 €