Verwandte Artikel zu Vorlesungen über Informatik: "Berechenbarkeit,...
Vorlesungen über Informatik: "Berechenbarkeit, Formale Sprachen, Spezifikationen" (Springer-Lehrbuch) - Softcover
Inhaltsangabe
Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gebraucht kaufen
Zustand: BefriedigendBefriedigend/Good: Durchschnittlich...
Diesen Artikel anzeigen
EUR 11,07
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 29,99
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Vorlesungen über Informatik: "Berechenbarkeit,...
Beispielbild für diese ISBN
Vorlesungen über Informatik: Band 3: Berechenbarkeit, formale Sprachen, Spezifikationen (Springer-Lehrbuch)
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Artikel-Nr. M03540606556-G
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Vorlesungen über Informatik: Band 3: Berechenbarkeit, formale Sprachen, Spezifikationen (Springer-Lehrbuch)
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Artikel-Nr. M03540606556-V
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Vorlesungen über Informatik : Berechenbarkeit, formale Sprachen, Spezifikationen
Verlag:
Springer Berlin Heidelberg, 1997
ISBN 10: 3540606556
ISBN 13: 9783540606550
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher. Artikel-Nr. 337906/203
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Vorlesungen über Informatik : Berechenbarkeit, formale Sprachen, Spezifikationen
Verlag:
Springer Berlin Heidelberg, 1997
ISBN 10: 3540606556
ISBN 13: 9783540606550
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher. Artikel-Nr. 337906/202
Anzahl: 5 verfügbar
Foto des Verkäufers
Vorlesungen über Informatik
ISBN 10: 3540606556
ISBN 13: 9783540606550
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -Dieses Lehrbuch baut auf den Themen 'Grundlagen und funktionales Programmieren' und 'Objektorientiertes Programmieren und Algorithmen' der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Deutsch. Artikel-Nr. 9783540606550
Anzahl: 2 verfügbar
Foto des Verkäufers
Vorlesungen über Informatik : Berechenbarkeit, formale Sprachen, Spezifikationen
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Lehrbuch baut auf den Themen 'Grundlagen und funktionales Programmieren' und 'Objektorientiertes Programmieren und Algorithmen' der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert. TOC:Berechenbarkeit.- Komplexitätstheorie.- Formale Sprachen. - Programmtransformationen.- Spezifikationsmethoden I: Z.- Verhaltensspezifikationen, Synchronisierung und Kommunikation. Artikel-Nr. 9783540606550
Anzahl: 1 verfügbar
Foto des Verkäufers
Vorlesungen über Informatik | Berechenbarkeit, formale Sprachen, Spezifikationen
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Vorlesungen über Informatik | Berechenbarkeit, formale Sprachen, Spezifikationen | Gerhard Goos | Taschenbuch | xii | Deutsch | 1997 | Springer-Verlag GmbH | EAN 9783540606550 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 107037200
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen (Springer-Lehrbuch) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540606550_new
Anzahl: Mehr als 20 verfügbar