Angebote zu "Broy" (9 Treffer)

Informatik als Buch von Manfred Broy
32,99 € *
ggf. zzgl. Versand

Informatik:Enth. Teil III u. IV d. Erstauflage Springer-Lehrbuch. 2. Aufl. 1998. Nachdruck 2003 Manfred Broy

Anbieter: Hugendubel.de
Stand: 18.07.2019
Zum Angebot
Modellbildung in der Informatik als Buch von Ma...
29,95 € *
ggf. zzgl. Versand

Modellbildung in der Informatik:Xpert. press. Softcover reprint of the original 1st ed. 2004 Manfred Broy, Ralf Steinbrüggen

Anbieter: Hugendubel.de
Stand: 27.06.2019
Zum Angebot
Informatik Eine grundlegende Einführung als Buc...
37,99 € *
ggf. zzgl. Versand

Informatik Eine grundlegende Einführung:2. Aufl. 1998 Manfred Broy

Anbieter: Hugendubel.de
Stand: 27.06.2019
Zum Angebot
Übungen zur Einführung in die Informatik als Bu...
49,99 € *
ggf. zzgl. Versand

Übungen zur Einführung in die Informatik:Strukturierte Aufgabensammlung mit Musterlösungen Springer-Lehrbuch. 2., überarbeitete Auflage Manfred Broy, Bernhard Rumpe

Anbieter: Hugendubel.de
Stand: 27.06.2019
Zum Angebot
Übungen zur Einführung in die Informatik
49,99 € *
ggf. zzgl. Versand

Spezielles Übungsbuch zur ´´Einführung in die Informatik´´ von M. Broy - Über 180 Aufgaben und Musterlösungen - Deckt alle Themengebiete des Grundstudiums ab - Systemanvoraussetzungen: Pentium und höher, 32 MB Arbeitsspeicher

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Logische und Methodische Grundlagen der Program...
34,99 € *
ggf. zzgl. Versand

Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und Programmentwicklung In diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und führen diese anhand von praktischen Beispielen näher aus. Die Kernthemen des Werks im Überblick Das Buch ´´Logische und Methodische Grundlagen der Programm- und Systementwicklung´´ widmet sich folgenden Themen: ? Algebraische Spezifikationen von Daten- und Rechenstrukturen ? Spezifikation und Implementierung ? Nachweis der Korrektheit für funktionale, sequenzielle und objektorientierte Programmierung ? Korrektheits- und Terminierungsbeweise ? Design-by-Contract ? Schrittweise Verfeinerung

Anbieter: buecher.de
Stand: 19.07.2019
Zum Angebot
Model-Based Engineering of Embedded Systems
47,99 € *
ggf. zzgl. Versand

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs. This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering. The content of this book is structured in four parts. Part I ´´Starting Point´´ discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II ´´The SPES Modeling Framework´´ describes the SPES modeling framework. Part III ´´Application and Evaluation of the SPES Modeling Framework´´ reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV ´´Impact of the SPES Modeling Framework´´ summarizes the results achieved and provides an outlook on future work. The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Industrie 4.0
99,99 € *
ggf. zzgl. Versand

Die nächste Stufe der industriellen Entwicklung, Industrie 4.0, erfordert die Beherrschung multidisziplinärer Entwicklung und Produktion komplexer, intelligenter Systeme. Unsere Industrie ist darauf nicht vorbereitet. Organisation, Prozesse, Management - alles ist ausgerichtet auf Produkte mit nur geringem Softwareanteil. Die Unternehmenslenker müssen ganzheitliche Strategien entwickeln. Eine einfache Verbesserung einzelner Teile des Unternehmens reicht nicht aus. Neben einer allgemeinen Analyse der Situation und der daraus resultierenden Herausforderungen kommen herausragende Vertreter aus Wirtschaft und Wissenschaft zu Wort, die das Thema aus ihrer jeweiligen Sicht beleuchten.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Informatik 1. Programmierung und Rechnerstruktu...
1,19 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 01.07.2019
Zum Angebot