Inicio > > Ciencias de la computación > Informatik. Eine grundlegende Einführung
Informatik. Eine grundlegende Einführung

Informatik. Eine grundlegende Einführung

Manfred Broy

85,11 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1994
Materia
Ciencias de la computación
ISBN:
9783540576723
85,11 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.

Artículos relacionados

Otros libros del autor

  • 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 €

  • 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 €