Zur Startseite gehen
0,00 €*
Cover: 9783540122562 | Algebraische Spezifikation | Eine Einführung | H. A. Klaeren | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Algebraische Spezifikation
Eine Einführung
Taschenbuch von H. A. Klaeren
Sprache: Deutsch

54,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
!lieses Buch entstand als Ausarbeitung einer Vorlesung fUr Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkennt­ nisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezi­ fikation beschrankt, ;]1UBte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingefUhrt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Priisentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise fiir die zugrundeliegenden Siitze der Universellen Algebra wurden in der Regel ausgelassen, um die konseq uente Entwick­ lung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Ziigen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte EinfUhrung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daB sie nicht auch praktisch anwendbar wiiren. Andererseits kann es auch fiir den Praktiker nur von Vorteil sein, sich wenigstens in groben Ziigen iiber die theoretischen Grundlagen seiner Arbeit klarzuwerden.
!lieses Buch entstand als Ausarbeitung einer Vorlesung fUr Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkennt­ nisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezi­ fikation beschrankt, ;]1UBte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingefUhrt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Priisentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise fiir die zugrundeliegenden Siitze der Universellen Algebra wurden in der Regel ausgelassen, um die konseq uente Entwick­ lung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Ziigen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte EinfUhrung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daB sie nicht auch praktisch anwendbar wiiren. Andererseits kann es auch fiir den Praktiker nur von Vorteil sein, sich wenigstens in groben Ziigen iiber die theoretischen Grundlagen seiner Arbeit klarzuwerden.
Inhaltsverzeichnis
1. Abstrakte Strukturen.- 2. Gleichungen, Spezifikationen.- 3. Rechnungen in Gleichungssystemen.- 4. Erweiterungen von Gleichungsspezifikationen.- 5. Finale Semantik.- 6. Behandlung von Ausnahmezuständen.- 7. Implementierungen von Gleichungsspezifikationen.- 8. Abstrakte Software-Spezifikationen.- 9. Korrektheit von Spezifikationen.- 10. Parametrisierte Spezifikationen.- 11. Praktischer Einsatz algebraischer Spezifikationen.- 12. Anwendungsbeispiel.- 13. Lösungen zu den Aufgaben.- 14. Bibliographie.- 15. Stichwortverzeichnis.
Details
Erscheinungsjahr: 1983
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 248
Inhalt: viii
238 S.
ISBN-13: 9783540122562
ISBN-10: 3540122567
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Klaeren, H. A.
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Maße: 244 x 170 x 14 mm
Von/Mit: H. A. Klaeren
Erscheinungsdatum: 01.03.1983
Gewicht: 0,435 kg
preigu-id: 106798319
Inhaltsverzeichnis
1. Abstrakte Strukturen.- 2. Gleichungen, Spezifikationen.- 3. Rechnungen in Gleichungssystemen.- 4. Erweiterungen von Gleichungsspezifikationen.- 5. Finale Semantik.- 6. Behandlung von Ausnahmezuständen.- 7. Implementierungen von Gleichungsspezifikationen.- 8. Abstrakte Software-Spezifikationen.- 9. Korrektheit von Spezifikationen.- 10. Parametrisierte Spezifikationen.- 11. Praktischer Einsatz algebraischer Spezifikationen.- 12. Anwendungsbeispiel.- 13. Lösungen zu den Aufgaben.- 14. Bibliographie.- 15. Stichwortverzeichnis.
Details
Erscheinungsjahr: 1983
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 248
Inhalt: viii
238 S.
ISBN-13: 9783540122562
ISBN-10: 3540122567
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Klaeren, H. A.
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Maße: 244 x 170 x 14 mm
Von/Mit: H. A. Klaeren
Erscheinungsdatum: 01.03.1983
Gewicht: 0,435 kg
preigu-id: 106798319
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9781430259268 | Intel Xeon Phi Coprocessor Architecture and Tools | Rezaur Rahman
Intel Xeon Phi Coprocessor Architecture and Tools
The Guide for Application Developers
EAN: 9781430259268
Sprache: Englisch
Von/Mit: Rezaur Rahman

28,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783642229749 | Abgründe der Informatik | Geheimnisse und Gemeinheiten | Alois Potton
Abgründe der Informatik
Geheimnisse und Gemeinheiten
EAN: 9783642229749
Sprache: Deutsch
Von/Mit: Alois Potton

29,99 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781441919014 | Parsing Techniques | A Practical Guide | Ceriel J. H. Jacobs (u. a.)
Parsing Techniques
A Practical Guide
EAN: 9781441919014
Sprache: Englisch
Von/Mit: Ceriel J. H. Jacobs (u. a.)

196,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781784397395 | Learning Embedded Linux using the Yocto Project | Alexandru Vaduva
Learning Embedded Linux using the Yocto Project
EAN: 9781784397395
Von/Mit: Alexandru Vaduva

56,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484220252 | Processing: Creative Coding and Computational Art | Ira Greenberg
Processing
Creative Coding and Computational Art
EAN: 9781484220252
Sprache: Englisch
Von/Mit: Ira Greenberg

47,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783030310370 | Unifying Theories of Programming | Augusto Sampaio (u. a.) | Buch
Unifying Theories of Programming
7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal,...
EAN: 9783030310370
Sprache: Englisch
Von/Mit: Augusto Sampaio (u. a.)

43,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781800560994 | Google Cloud Certified Professional Cloud Developer Exam Guide | Buch
Google Cloud Certified Professional Cloud Developer Exam Guide
Modernize your applications using cloud-native services and best practices
EAN: 9781800560994
Sprache: Englisch
Von/Mit: Sebastian Moreno

56,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484286050 | Up and Running on Microsoft Viva Connections | Nachan (u. a.) | Buch
Up and Running on Microsoft Viva Connections
Engage, Inform, and Empower Your Hybrid Workforce
EAN: 9781484286050
Sprache: Englisch
Von/Mit: Smita Sadanand Nachan (u. a.)

69,30 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781119291800 | Handbook of Software Fault Localization | Foundations and Advances
Handbook of Software Fault Localization
Foundations and Advances
EAN: 9781119291800
Sprache: Englisch
Von/Mit: W Eric Wong (u. a.)

125,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781803248318 | Hybrid Cloud Infrastructure and Operations Explained | Mansura Habiba
Hybrid Cloud Infrastructure and Operations Explained
Accelerate your application migration and modernization journey on the cloud with IBM and Red Hat
EAN: 9781803248318
Sprache: Englisch
Von/Mit: Mansura Habiba

60,20 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...