Results for Manfred Broy

ISBN.nu

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 >

show results in order: alphabetically | oldest to newest | newest to oldest

Engineering Dependable Software Systems

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)

See complete details on each edition (1 edition listed)

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.

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

(view table of contents)

By Manfred Broy and Ketil Stolen

See complete details on each edition (1 edition listed)

Hardcover:

9780387950730 | Springer-Verlag New York Inc, January 1, 2001, cover price $99.00

Software-entwicklung fur kommunikationsnetze

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

See complete details on each edition (1 edition listed)

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.

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

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

By Manfred Broy and Ketil StÃ¸len

See complete details on each edition (1 edition listed)

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.

Deductive Program Design

By Manfred Broy (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642648496 | Reprint edition (Springer-Verlag New York Inc, September 26, 2011), cover price $249.00 | also contains Deductive Program Design

Deductive Program Design

By Manfred Broy (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9783540609476 | Springer-Verlag New York Inc, September 1, 1996, cover price $339.00

Paperback:

9783642648496 | Reprint edition (Springer-Verlag New York Inc, September 26, 2011), cover price $249.00 | also contains Deductive Program Design

Mathematical Methods in Program Development

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)

See complete details on each edition (2 editions listed)

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.

Constructive Methods in Computing Science: International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare

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)

See complete details on each edition (1 edition listed)

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.

Model-based Engineering of Embedded Systems: The Spes 2020 Methodology

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)

See complete details on each edition (2 editions listed)

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.

Agendacps: Integrierte Forschungsagenda Cyber-physical Systems

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)

See complete details on each edition (1 edition listed)

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.

Software and Systems Safety: Specification and Verification

By Manfred Broy (editor), Tony Hoare (editor) and Christian Leuxner (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9781607507109 | Ios Pr Inc, May 15, 2011, cover price $196.00

Cyber-physical Systems: Innovation Durch Softwareintensive Eingebettete Systeme

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)

See complete details on each edition (1 edition listed)

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.

Engineering Methods and Tools for Software Safety and Security

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)

See complete details on each edition (1 edition listed)

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.

Software Systems Reliability and Security

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)

See complete details on each edition (1 edition listed)

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.

Automotive Software

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)

See complete details on each edition (1 edition listed)

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.

Engineering Theories of Software Intensive Systems

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)

See complete details on each edition (1 edition listed)

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.

Model-based Testing of Reactive Systems: Advanced Lectures

By Manfred Broy (editor), Bengt Jonsson (editor), Joost-Pieter Katoen (editor), Martin Leucker (editor) and Alexander Pretschner (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540262787 | Springer-Verlag New York Inc, August 15, 2005, cover price $129.00

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003 Akademgorodok, Novosibirsk, Russia, July 2003 Revised Papers

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

By Manfred Broy, INTERNATIONAL ANDREI ERSHOV MEMORIAL CON, Manfredbroy (editor) and A. V. Zamulin

See complete details on each edition (1 edition listed)

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.

Models, Algebras and Logic of Engineering Software

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)

See complete details on each edition (1 edition listed)

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.

Informatik. Eine Grundlegende Einfuhrung: Systemstrukturen Und Theoretische Informatik

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

By Manfred Broy

See complete details on each edition (1 edition listed)

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.

Software Pioneers: Contibutions to Software Engineering

(view table of contents)

By Manfred Broy (editor) and Ernst Denert (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9783540430810 | Har/dvd edition (Springer-Verlag New York Inc, September 1, 2002), cover price $179.00

Persectives on System Informatics: Revised Papers of the 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001

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)

See complete details on each edition (1 edition listed)

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.

Ubungen Zur Einfuhrung in Die Informatik: Strukturierte Aufgabensammlung Mit Musterlosungen

By Manfred Broy and Bernhard Rumpe

See complete details on each edition (1 edition listed)

Paperback:

9783540420651 | 2 edition (Springer-Verlag New York Inc, September 21, 2001), cover price $69.99

Informatik. Eine Grundlegende Einfuhrung: Rogrammierung Und Rechnerstrukturen

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

By Manfred Broy

See complete details on each edition (1 edition listed)

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.

Engineering Theories of Software Construction

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

By Manfred Broy (editor), Tony Hoare (editor), NATO Advanced Study Institute on Engineering Theories of Software Construction (other contributor) and Ralf Steinbruggen (editor)

See complete details on each edition (1 edition listed)

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 >