W k giloi (34 risultati)

Paperback. Condizione: Gut. 172 S.; with 78 figures and 16 examples. Good. Ex-library with usual markings. Clean pages. Sprache: Englisch Gewicht in Gramm: 305.

Ln., 380 S., Abbl., Tabellen, Zust. gut.

Softcover. Condizione: Gut. 1. Auflage. vi + 394 p. [INFORMATIK-FACHBERICHTE ; 16]. Buch.

Condizione: New. 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 develo.

Taschenbuch. Condizione: 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.…

Condizione: New. pp. 396.

Paperback. Condizione: Brand New. 396 pages. 9.61x6.69x0.90 inches. In Stock.

Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: gut. The Use of Formal Specification of Software In deutscher Sprache. pages.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Firmware - Heute.- Firmware Engineering: An Extensive Update.- Software Engineering - Firmware Engineering.- Spezifikation von Firmware.- Firmware Development Systems, a Survey.- Firmware-Entwurfs- und Test-Systeme - Fallstudie.- Höhere Programmiersprachen für die Mikroprogrammierung.- Correctness of Firmware - An Overview.- Firmware Dokumentation und Wartung.- Vertikale Verlagerung - Verfahren, Voraussetzungen, Anwendung.- Ein mikroprogrammiertes Unterbrechungswerk für einen Prozeßrechner.- Die vertikale Verlagerung von Systemfunktionen im System Nixdorf 8864. …

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Ü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.…

Condizione: New. pp. 304.

Condizione: New. pp. 404.

Condizione: New.

Condizione: New.

Paperback. Condizione: Brand New. 300 pages. German language. 9.61x6.69x0.69 inches. In Stock.

Paperback. Condizione: Brand New. 1st edition. 404 pages. German language. 9.61x6.69x0.91 inches. In Stock.

Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 396 pp. Englisch.…

Taschenbuch. Condizione: 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 Print on Demand. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch. …

Condizione: New. Print on Demand pp. 396 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 396.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Veranstaltet von der gemeinsamen Fachgruppe 'Mikroprogrammierung' des GI-Fachausschusses 3/4 und des NTG-Fachausschusses 6 304 pp. Englisch, Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 404 pp. Englisch, Deutsch. …

Condizione: New. Print on Demand pp. 304 61 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Condizione: New. Print on Demand pp. 404 103 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 304.

Condizione: New. PRINT ON DEMAND pp. 404.