Informatik 1. Problemnahe Programmierung von Broy, Manfred

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...

Das Buch "Informatik: Eine grundlegende Einführung" von Manfred Broy bietet eine umfassende Einführung in die Grundlagen der Informatik. Es richtet sich sowohl an Studierende als auch an interessierte Laien, die ein fundiertes...

"Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen" von Bernhard Rumpe ist ein Lehrbuch, das sich an Studierende der Informatik richtet. Es bietet eine umfassende Sammlung von Aufgaben, die...

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. von Broy, Manfred

Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die...

"Software Pioneers: Contributions to Software Engineering" von Ernst Denert ist eine Sammlung von Beiträgen führender Experten aus der Softwareentwicklung. Das Buch bietet einen tiefen Einblick in die Entstehung und Entwicklung der...

Software Engineering hat das ingenieurmäßige Entwickeln umfangreicher Softwaresysteme zum Ziel. Kritische Größen sind Kosten, Termine und Qualität. Neben unterschiedlichen Themengebieten der Softwaretechnik umfasst das Software...

Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik". Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften...