W k giloi (39 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.

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

Condizione: New. In.

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

Condizione: New. pp. 396.

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

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.…

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.

Condizione: New. In.

Condizione: New. In.

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.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Veranstaltet von der gemeinsamen Fachgruppe 'Mikroprogrammierung' des GI-Fachausschusses 3/4 und des NTG-Fachausschusses 6.

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

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.

PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

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.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.…

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. 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. …

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. …