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

Informatik Eine grundlegende Einführung

Manfred Broy

46,91 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1997
Materia
Ciencias de la computación
ISBN:
9783540632344
46,91 €
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)

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.

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 €