Manfred Broy - Böcker

Visar alla böcker från författaren Manfred Broy.
53 produkter
Manfred Broy, Ketil Stølen - Specification and Development of Interactive Systems, Inbunden

Specification and Development of Interactive Systems

Av Manfred Broy, Ketil Stølen

Inbunden, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare - Engineering Theories of Software Intensive Systems, Inbunden
Del 195 - NATO Science Series II: Mathematics, Physics and Chemistry

Engineering Theories of Software Intensive Systems

Av Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Inbunden, Engelska, 2005

2 889 kr

Skickas inom 7-10 vardagar
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare - Engineering Theories of Software Intensive Systems, Häftad
Del 195 - NATO Science Series II: Mathematics, Physics and Chemistry

Engineering Theories of Software Intensive Systems

Av Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Häftad, Engelska, 2005

2 889 kr

Skickas inom 7-10 vardagar
Manfred Broy, Ketil Stølen - Specification and Development of Interactive Systems, Häftad

Specification and Development of Interactive Systems

Av Manfred Broy, Ketil Stølen

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar
Tony Hoare, Manfred Broy, R. Steinbrüggen - Engineering Theories of Software Construction, Inbunden

Engineering Theories of Software Construction

Av Tony Hoare, Manfred Broy, R. Steinbrüggen

Inbunden, Engelska, 2006

1 289 kr

Slutsåld
Manfred Broy, M. Pizka - Models, Algebras and Logic of Engineering Software, Inbunden

Models, Algebras and Logic of Engineering Software

Av Manfred Broy, M. Pizka

Inbunden, Engelska, 2006

1 289 kr

Slutsåld
Manfred Broy, Johannes Grünbauer, Tony Hoare - Software System Reliability and Security, Inbunden

Software System Reliability and Security

Av Manfred Broy, Johannes Grünbauer, Tony Hoare

Inbunden, Engelska, 2007

1 359 kr

Slutsåld
Manfred Broy, Tony Hoare - Engineering Methods and Tools for Software Safety and Security, Inbunden

Engineering Methods and Tools for Software Safety and Security

Av Manfred Broy, Tony Hoare

Inbunden, Engelska, 2009

1 979 kr

Slutsåld
Manfred Broy, Tony Hoare - Software and Systems Safety, Inbunden

Software and Systems Safety

Av Manfred Broy, Tony Hoare

Inbunden, Engelska, 2011

1 989 kr

Slutsåld
Manfred Broy, Doron Peled - Engineering Dependable Software Systems, Inbunden

Engineering Dependable Software Systems

Av Manfred Broy, Doron Peled

Inbunden, Engelska, 2013

1 989 kr

Slutsåld
Wolfgang Böhm, Manfred Broy, Cornel Klein - Model-Based Engineering of Collaborative Embedded Systems, Häftad

Model-Based Engineering of Collaborative Embedded Systems

Av Wolfgang Böhm, Manfred Broy, Cornel Klein

Häftad, Engelska, 2021

569 kr

Skickas inom 7-10 vardagar
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy - Design Thinking for Software Engineering, Inbunden

Design Thinking for Software Engineering

Av Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Inbunden, Engelska, 2022

2 449 kr

Skickas inom 7-10 vardagar
Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy - Design Thinking for Software Engineering, Häftad

Design Thinking for Software Engineering

Av Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Häftad, Engelska, 2023

2 449 kr

Skickas inom 7-10 vardagar
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger - Advanced Model-Based Engineering of Embedded Systems, Inbunden

Advanced Model-Based Engineering of Embedded Systems

Av Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Inbunden, Engelska, 2016

1 069 kr

Skickas inom 7-10 vardagar
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger - Advanced Model-Based Engineering of Embedded Systems, Häftad

Advanced Model-Based Engineering of Embedded Systems

Av Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Häftad, Engelska, 2018

719 kr

Skickas inom 7-10 vardagar
Manfred Broy - Control Flow and Data Flow: Concepts of Distributed Programming, Häftad

Control Flow and Data Flow: Concepts of Distributed Programming

Av Manfred Broy

Häftad, Engelska, 1986

1 459 kr

Skickas inom 7-10 vardagar
Manfred Broy, Alexandre V. Zamulin - Perspectives of Systems Informatics, Häftad
Del 2890 - Lecture Notes in Computer Science

Perspectives of Systems Informatics

Av Manfred Broy, Alexandre V. Zamulin

Häftad, Engelska, 2004

739 kr

Skickas inom 7-10 vardagar
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner - Model-Based Testing of Reactive Systems, Häftad

Model-Based Testing of Reactive Systems

Av Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar
Manfred Broy, Ingolf Krüger, Michael Meisinger - Automotive Software-Connected Services in Mobile Networks, Häftad

Automotive Software-Connected Services in Mobile Networks

Av Manfred Broy, Ingolf Krüger, Michael Meisinger

Häftad, Engelska, 2006

719 kr

Skickas inom 7-10 vardagar
Dines Bjørner, Manfred Broy, Alexandre Zamulin - Perspectives of System Informatics, Häftad
Del 2244 - Lecture Notes in Computer Science

Perspectives of System Informatics

Av Dines Bjørner, Manfred Broy, Alexandre Zamulin

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Manfred Broy, Ralf Steinbrüggen - Modellbildung in der Informatik, Inbunden

Modellbildung in der Informatik

Av Manfred Broy, Ralf Steinbrüggen

Inbunden, Tyska, 2003

549 kr

Skickas inom 7-10 vardagar
Manfred Broy, Martin Wirsing - Methods of Programming, Häftad
Del 544 - Lecture Notes in Computer Science

Methods of Programming

Av Manfred Broy, Martin Wirsing

Häftad, Engelska, 1991

739 kr

Skickas inom 7-10 vardagar
Manfred Broy - Informatik, Häftad

Informatik

Av Manfred Broy

Häftad, Tyska, 1992

689 kr

Skickas inom 7-10 vardagar
Manfred Broy - Program Design Calculi, Inbunden
Del 118 - NATO ASI Subseries F:

Program Design Calculi

Av Manfred Broy

Inbunden, Engelska, 1993

2 889 kr

Skickas inom 7-10 vardagar
Dines Bjørner, Manfred Broy, Igor V. Pottosin - Formal Methods in Programming and Their Applications, Häftad
Del 735 - Lecture Notes in Computer Science

Formal Methods in Programming and Their Applications

Av Dines Bjørner, Manfred Broy, Igor V. Pottosin

Häftad, Engelska, 1993

739 kr

Skickas inom 7-10 vardagar
Manfred Broy - Informatik. Eine grundlegende Einführung, Häftad

Informatik. Eine grundlegende Einführung

Av Manfred Broy

Häftad, Tyska, 1994

689 kr

Skickas inom 7-10 vardagar
Manfred Broy, Stefan Jähnichen - KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Häftad
Del 1009 - Lecture Notes in Computer Science

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Av Manfred Broy, Stefan Jähnichen

Häftad, Engelska, 1995

739 kr

Skickas inom 7-10 vardagar
Manfred Broy - Deductive Program Design, Inbunden
Del 152 - NATO ASI Subseries F:

Deductive Program Design

Av Manfred Broy

Inbunden, Engelska, 1996

2 799 kr

Skickas inom 7-10 vardagar
Manfred Broy, Stephan Merz, Katharina Spies - Formal Systems Specification, Häftad
Del 1169 - Lecture Notes in Computer Science

Formal Systems Specification

Av Manfred Broy, Stephan Merz, Katharina Spies

Häftad, Engelska, 1996

739 kr

Skickas inom 7-10 vardagar