Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
EUR 12,24
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Gut. 172 S.; with 78 figures and 16 examples. Good. Ex-library with usual markings. Clean pages. Sprache: Englisch Gewicht in Gramm: 305.
Verlag: Springer Verlag, Berlin, 1981, 1981
Anbieter: Antiquariat Bücherparadies, Landsberg, Deutschland
Ln., 380 S., Abbl., Tabellen, Zust. gut.
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Broschiert. Zustand: Gut. V, 289 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Buchschnitt und Seitenränder alters-/papierbedingt angebräunt; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 480.
Seminar veranstaltet von der gemeinsamen Fachgruppe "Mikroprogrammierung" des GI Fachusschusses 3/4 und des NTG-Fachausschusses 6 vom 12.-14. März 1980 in Berlin. Berlin, Springer 1980. V, 289 S., OKart. Gutes Exemplar.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,68
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Softcover. Zustand: Gut. 1. Auflage. vi + 394 p. [INFORMATIK-FACHBERICHTE ; 16]. Buch.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. The Use of Formal Specification of Software | June 25-27, 1979, Berlin | H. K. Berg (u. a.) | Taschenbuch | vi | Englisch | 1980 | Springer | EAN 9783540104421 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1981
ISBN 10: 3540104429 ISBN 13: 9783540104421
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 156,12
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 396 pages. 9.61x6.69x0.90 inches. In Stock.
Sprache: Englisch
Verlag: Springer, Springer Vieweg, 1980
ISBN 10: 3540104429 ISBN 13: 9783540104421
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of enforced system development standards which will ensure that end products will meet rigorous design requirements. On the one hand, advances in system architecture fUrther the application of system development standards to software and firmware design and production. On the other hand, the growth in complexity of future system architectures, in particular distri buted systems with their special problems of cooperation and parallelism, necessitate the use of rigorous specification and design techniques. In addition to hampering the design process, the lack of engineering techniques hinders research. In many cases, trial designs that are presented in abstract and informal terms do not force the de signer to face the full problem spectrum, and therefore may not sufficiently provide insight into the design process. To prepare for the forthcoming discipline and to provide a snapshot view of recent advances in software and firmware engineering, we organized in June of 1979 a seminar entitled: 'The Use of Formal Specification of Software and Firmware'. The seminar took place at the Heinrich-Hertz-Institute, Berlin, and attracted over 60 participants, most of them from the industry.
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Zustand: gut. The Use of Formal Specification of Software In deutscher Sprache. pages.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 63,11
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 63,11
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, 1980
ISBN 10: 354010304X ISBN 13: 9783540103042
Anbieter: moluna, Greven, Deutschland
EUR 54,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, 1978
ISBN 10: 354009038X ISBN 13: 9783540090380
Anbieter: moluna, Greven, Deutschland
EUR 54,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, 1980
ISBN 10: 354010304X ISBN 13: 9783540103042
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 100,35
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 300 pages. German language. 9.61x6.69x0.69 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 102,16
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 404 pages. German language. 9.61x6.69x0.91 inches. In Stock.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, 1980
ISBN 10: 354010304X ISBN 13: 9783540103042
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Veranstaltet von der gemeinsamen Fachgruppe 'Mikroprogrammierung' des GI-Fachausschusses 3/4 und des NTG-Fachausschusses 6.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, 1978
ISBN 10: 354009038X ISBN 13: 9783540090380
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - InhaltsangabeÜbersichtsvorträge Der Gi-Jahrestagung.- Design of a Programming Language for a Program Transformation System.- Methoden der Programm- und Systemkonstruktion: ein Statusbericht.- Podiumsdiskussion über 'Berufsaussichten für Informatiker'.- Betriebswirtschaftliche Anwendungen der Informatik.- Synergetische Ordnungsprinzipien in Physik und Datenverarbeitung.- Entwicklungslinien in der Informatik.- Grenzen der Großintegration durch deterministische und stochastische Prozesse.- Einfluß der großintegrierten Schaltungen auf Hardware und Software.- Experimentiersteuerung durch Rechengeräte.- Symbolic Computation: Past, Present and Future.- Parallel Programming.- Grundlagen der neuronalen Informationsverarbeitung in den Sinnesorganen und im Gehirn.- Übersichtsvorträge Der Fachgespräche.- Grundlagen, Operationsprinzipien und Strukturen von innovativen Rechnerarchitekturen.- Konzepte, Probleme und Möglichkeiten von CAD-Systemen in der industriellen Praxis J. Encarnacao.- The Complexity of Combinatorial Computations: an Introduction.- Datenschutz und Datenverarbeitung - Einige grundsätzliche Betrachtungen zum Bundesdatenschutzgesetz (Kurzfassung).- Mikroprogrammierung.- Informationstechnologie und gesellschaftlicher und politischer Wandel.- Prozeßautomatisierung und Informatik.
Taschenbuch. Zustand: Neu. GI - 8. Jahrestagung | Berlin 1978 | S. Schindler (u. a.) | Taschenbuch | vi | Deutsch | 1978 | Springer | EAN 9783540090380 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Firmware Engineering | Seminar veranstaltet von der gemeinsamen Fachgrupe "Mikroprogrammierung" des GI Fachausschusses 3/4 und des NTG-Fachausschusses 6 vom 12. - 14. März 1980 in Berlin | W. K. Giloi | Taschenbuch | viii | Deutsch | 1980 | Springer | EAN 9783540103042 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.