Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 3,20 für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerGratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerAnbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Broschiert. Zustand: Gut. VI, 270 S. : graph. Darst. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Leichte altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 400. Bestandsnummer des Verkäufers 1684295
Anzahl: 2 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben. Bestandsnummer des Verkäufers 9783540076193
Anzahl: 1 verfügbar
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Programmiersprachen | 4. Fachtagung der GI Erlangen, 8.-10. März 1976 | M. Nagl (u. a.) | Taschenbuch | vi | Deutsch | 1976 | Springer-Verlag GmbH | EAN 9783540076193 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 106334036
Anzahl: 5 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch. Bestandsnummer des Verkäufers 9783540076193
Anzahl: 2 verfügbar
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsmethode auf hoehere Programmiersprachen.- Systematische Analyse. Bestandsnummer des Verkäufers 4879678
Anzahl: Mehr als 20 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben. 280 pp. Englisch, Deutsch. Bestandsnummer des Verkäufers 9783540076193
Anzahl: 2 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540076193_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540076193
Anzahl: 10 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 280. Bestandsnummer des Verkäufers 1848023423
Anzahl: 4 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 280. Bestandsnummer des Verkäufers 2648023413
Anzahl: 4 verfügbar