Informatik

Informatik

Manfred Broy

41,07 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2003
Materia
Ciencias de la computación
ISBN:
9783540643920
41,07 €
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 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. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschließenden Ausblick auf Anwendungen der Informatik den Bezug zu aktuellen Fragen her.

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 €