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
  • Kálamo Books
  • Librería Elías (Asturias)
  • 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

    66,96 €

  • Logische und Methodische Grundlagen der Programm- und Systementwicklung
    Manfred Broy
    Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwicklung an Geht man beim Entwickeln von Programmen von einer informellen Problemstellung aus, erfordert das:a)     die Spezifikation des Programms unter Festlegung der Daten- und Rechenstrukturen.b)     die Implementierung.c)      die Verifikation der Korrektheit. Um diese Aufgaben zu...
    Disponible

    51,25 €

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