Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
Hauptvorträge.- A View of Current Concerns in Software Engineering.- Towards a Decentralised General-Purpose Computer.- Directions and Trends in FORTRAN (Abstract).- Findet Ada zurück nach Europa ?.- Eingereichte Vorträge.- Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme.- Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation.- Ein System zur rechnerunterstützten Spezifikation.- Projektorganisation nach dem Komponentenkonzept.- A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication.- From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.- Generierung von Programmen für kommerzielle Anwendungen auf Kleinrechnern.- LL- and LR-Attributed Grammars.- Static Semantic Checks of Global Variables in a Procedural Language.- A Formal Model of Instruction Set Semantics.- System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstrakter Maschinen.- Modularer Mustervergleich im Rahmen prozeduraler Programmierung.- A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions.- Anschriften der Autoren.
Hauptvorträge.- A View of Current Concerns in Software Engineering.- Towards a Decentralised General-Purpose Computer.- Directions and Trends in FORTRAN (Abstract).- Findet Ada zurück nach Europa ?.- Eingereichte Vorträge.- Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme.- Programmieren mit graphischen Mitteln: Die Sprache GRADE und ihre Implementation.- Ein System zur rechnerunterstützten Spezifikation.- Projektorganisation nach dem Komponentenkonzept.- A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication.- From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.- Generierung von Programmen für kommerzielle Anwendungen auf Kleinrechnern.- LL- and LR-Attributed Grammars.- Static Semantic Checks of Global Variables in a Procedural Language.- A Formal Model of Instruction Set Semantics.- System- und Sprachentwicklung für die Verfahrenstechnik auf der Basis abstrakter Maschinen.- Modularer Mustervergleich im Rahmen prozeduraler Programmierung.- A Language for Set-Theoretic Concepts Implemented by Microprogrammed Associative Memory Instructions.- Anschriften der Autoren.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
