search for books and compare prices
Manfred Broy has written 46 work(s)
Search for other authors with the same name
at beginning | displaying 1 to 25 | next 21 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9781614992066 Cover for 9780387950730 Cover for 9783642627927 Cover for 9781461265184 Cover for 9783642648496 Cover for 9783540609476 Cover for 9783642648496 Cover for 9783540631958 Cover for 9783642645884 Cover for 9783642748868 Cover for 9783642346132 Cover for 9783642439926 Cover for 9783642290985 Cover for 9781607507109 Cover for 9783642144981 Cover for 9781586039769 Cover for 9781586037314 Cover for 9783540376774 Cover for 9781402035319 Cover for 9783540262787 Cover for 9783540208136 Cover for 9781586033422 Cover for 9783540643920 Cover for 9783540430810 Cover for 9783540430759 Cover for 9783540420651 Cover for 9783540632344 Cover for 9781586031725
cover image for 9781614992066
Product Description: Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research...read more
By Manfred Broy (editor), Georg Kalus (editor) and Doron Peled (editor)

Hardcover:

9781614992066 | Ios Pr Inc, August 15, 2013, cover price $196.00 | About this edition: Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage.

cover image for 9780387950730
Product Description: A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction...read more (view table of contents, read Amazon.com's description)

Hardcover:

9780387950730 | Springer-Verlag New York Inc, January 1, 2001, cover price $99.00 | About this edition: A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior.

cover image for 9783642627927
Product Description: Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Abläufe, zeitkritisches Antwortverhalten, komplexe Funktionalität und sehr hohe Qualitätsanforderungen...read more
By Manfred Broy (contributor), E. Kargl (contributor), Heinz Koámann, M. Lagally (contributor) and Axel Pink

Paperback:

9783642627927 | Reprint edition (Springer-Verlag New York Inc, November 5, 2012), cover price $69.99 | About this edition: Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten.

cover image for 9781461265184
Product Description: A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction...read more

Paperback:

9781461265184 | Reprint edition (Springer-Verlag New York Inc, October 17, 2012), cover price $99.00 | About this edition: A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior.

cover image for 9783642648496
Product Description: Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.
By Manfred Broy (editor)

Paperback:

9783642648496 | Reprint edition (Springer-Verlag New York Inc, September 26, 2011), cover price $249.00 | also contains Deductive Program Design | About this edition: Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume.

cover image for 9783642648496
Product Description: Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.
By Manfred Broy (editor)

Hardcover:

9783540609476 | Springer-Verlag New York Inc, September 1, 1996, cover price $339.00 | About this edition: Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume.

Paperback:

9783642648496 | Reprint edition (Springer-Verlag New York Inc, September 26, 2011), cover price $249.00 | also contains Deductive Program Design | About this edition: Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume.

cover image for 9783642645884
Product Description: Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation...read more
By Manfred Broy (editor) and Birgit Schieder (editor)

Hardcover:

9783540631958 | Springer Verlag, November 1, 1997, cover price $99.00 | About this edition: Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism.

Paperback:

9783642645884 | Reprint edition (Springer-Verlag New York Inc, July 31, 2012), cover price $149.00 | About this edition: Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism.

cover image for 9783642748868
Product Description: Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science...read more
By Manfred Broy (editor)

Paperback:

9783642748868 | Reprint edition (Springer-Verlag New York Inc, December 6, 2011), cover price $149.00 | About this edition: Computing Science is a science of constructive methods.

cover image for 9783642439926
Product Description: 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...read more
By Manfred Broy (editor)

Hardcover:

9783642346132 | Springer-Verlag New York Inc, November 9, 2012, cover price $69.99 | About this edition: Embedded systems have long become essential in application areas in which human control is impossible or infeasible.

Paperback:

9783642439926 | Springer-Verlag New York Inc, December 14, 2014, cover price $69.99 | About this edition: Embedded systems have long become essential in application areas in which human control is impossible or infeasible.

cover image for 9783642290985
Product Description: Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete Systeme und integrierte Anwendungen. Zunehmend werden diese untereinander, aber auch mit Daten und Diensten im Internet vernetzt...read more
By Manfred Broy (editor)

Paperback:

9783642290985 | Springer-Verlag New York Inc, April 26, 2012, cover price $59.99 | About this edition: Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete Systeme und integrierte Anwendungen.

cover image for 9781607507109
Product Description: Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs...read more
By Manfred Broy (editor), Tony Hoare (editor) and Christian Leuxner (editor)

Hardcover:

9781607507109 | Ios Pr Inc, May 15, 2011, cover price $196.00 | About this edition: Information security depends upon an understanding of the functionality of software systems.

cover image for 9783642144981
Product Description: Cyber-Physical Systems adressieren das Zusammenwachsen softwareintensiver eingebetteter Systeme mit den globalen digitalen Netzen. Sie ermöglichen neuartige industrielle Anwendungen mit hohem wirtschaftlichem Potential. Beispiele sind etwa selbststeuernde Logistiksysteme, integrierte Systeme zur Verkehrssteuerung oder intelligente Stromnetze (Smart Grids)...read more
By Manfred Broy (editor)

Paperback:

9783642144981 | Springer-Verlag New York Inc, December 20, 2010, cover price $39.95 | About this edition: Cyber-Physical Systems adressieren das Zusammenwachsen softwareintensiver eingebetteter Systeme mit den globalen digitalen Netzen.

cover image for 9781586039769
Product Description: As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe, customer and information are protected against adversarial attacks and malfunction...read more
By Manfred Broy (editor), Tony Hoare (editor) and Wassiou Sitou (editor)

Hardcover:

9781586039769 | Ios Pr Inc, March 15, 2009, cover price $174.00 | About this edition: As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning.

cover image for 9781586037314
Product Description: The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs...read more
By Manfred Broy (editor), Johannes Grunbauer (editor) and Tony Hoare (editor)

Hardcover:

9781586037314 | Ios Pr Inc, May 1, 2007, cover price $183.00 | About this edition: The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs.

cover image for 9783540376774
Product Description: This book constitutes the thoroughly refereed post-proceedings of the First Automotive Software Workshop, ASWD 2004, held in San Diego, CA, USA in January 2004. The 10 revised full papers presented were carefully reviewed and selected from 26 lectures held at the workshop that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain...read more
By Manfred Broy (editor), Ingolf Kruger (editor) and Michael Meisinger (editor)

Paperback:

9783540376774 | Springer-Verlag New York Inc, November 13, 2006, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the First Automotive Software Workshop, ASWD 2004, held in San Diego, CA, USA in January 2004.

cover image for 9781402035319
Product Description: Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs...read more
By Manfred Broy (editor), Johannes Grunbauer (editor), David Harel (editor) and Tony Hoare (editor)

Paperback:

9781402035319 | Kluwer Academic Pub, August 15, 2005, cover price $179.00 | About this edition: Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks.

cover image for 9783540262787
Product Description: Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods...read more
By Manfred Broy (editor), Bengt Jonsson (editor), Joost-Pieter Katoen (editor), Martin Leucker (editor) and Alexander Pretschner (editor)

Paperback:

9783540262787 | Springer-Verlag New York Inc, August 15, 2005, cover price $129.00 | About this edition: Testing is the primary hardware and software verification technique used by industry today.

cover image for 9783540208136
Product Description: This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement...read more

Paperback:

9783540208136 | Springer-Verlag New York Inc, March 5, 2004, cover price $139.00 | About this edition: This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003.

cover image for 9781586033422
Product Description: Computer software is a pervasive factor in advancing the progress and increasing the efficiency of industry, science, commerce and communication. Moreover, it is a significant contributor to the general quality of life of the individual citizen...read more
By Manfred Broy (editor) and Markus Pizka (editor)

Hardcover:

9781586033422 | Ios Pr Inc, August 1, 2003, cover price $168.00 | About this edition: Computer software is a pervasive factor in advancing the progress and increasing the efficiency of industry, science, commerce and communication.

cover image for 9783540643920
Product Description: Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus...read more

Paperback:

9783540643920 | Springer-Verlag New York Inc, April 1, 2003, cover price $44.95 | About this edition: Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik.

cover image for 9783540430810
Product Description: A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote below: A well-defined segmentation of the project effort ensures system modularity...read more (view table of contents, read Amazon.com's description)
By Manfred Broy (editor) and Ernst Denert (editor)

Hardcover:

9783540430810 | Har/dvd edition (Springer-Verlag New York Inc, September 1, 2002), cover price $179.00 | About this edition: A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0.

cover image for 9783540430759
Product Description: This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement...read more (view table of contents, read Amazon.com's description)
By Dines Bjorner (editor), Manfred Broy (editor) and A. V. Zamulin (editor)

Paperback:

9783540430759 | Springer Verlag, April 1, 2002, cover price $139.00 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.

cover image for 9783540420651
Product Description: Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik". Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden...read more

Paperback:

9783540420651 | 2 edition (Springer-Verlag New York Inc, September 21, 2001), cover price $69.99 | About this edition: Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik".

cover image for 9783540632344
Product Description: Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere, formale Fundierung und begriffliche Klarheit aus...read more

Paperback:

9783540632344 | 2 edition (Springer-Verlag New York Inc, September 1, 2001), cover price $59.95 | About this edition: Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik.

cover image for 9781586031725
Product Description: This text examines the software engineering techniques used for industrial tasks. Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks...read more

Hardcover:

9781586031725 | Ios Pr Inc, June 1, 2001, cover price $116.00 | About this edition: This text examines the software engineering techniques used for industrial tasks.

at beginning | displaying 1 to 25 | next 21 >