Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ((((computer programming) OR (computer programs))) or (computer program))
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Broy, Manfred"
Showing
1
-
20
of
36
Search:
'((((computer programming) OR (computer programs))) or (computer program))'
,
query time: 0.60s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Methods of
Programming
: Selected Papers on the CIP-Project
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... -- Transformational meta
program
development -- Another case study on reusability of transformational developments...
”
Read Now
2
Programming
and Mathematical Method : International Summer School
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... for Two Machines -- The Lexicographic Minimum of a Cyclic Array -- 2. Rules of
Programming
-- Metalevel...
”
Read Now
3
Program
Design Calculi
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
4
Formal Methods in
Programming
and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
...Theory of domains and nearby -- Predicative
programming
— A survey -- A three-valued logic...
”
Read Now
5
Logic of
Programming
and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
...I:
Programming
Calculi -- An Introduction to the Theory of Lists -- A Heuristic Explanation...
”
Read Now
6
Mathematical Methods in
Program
Development
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... -- 0. Designing Proofs and
Programs
-- Heuristics for a Very Simple Euclidean Proof (EWD1180...
”
Read Now
7
Constructive Methods in
Computing
Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... Environments -- The Addition of Bounded Quantification and Partial Functions to a
Computational
Logic and Its...
”
Read Now
8
Control Flow and Data Flow: Concepts of Distributed
Programming
: International Summer School
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
... Time Clocks versus Virtual Clocks -- The Image Construction in
Computerized
Axial Tomography...
”
Read Now
9
Methods of
Programming
: Selected Papers on the CIP-Project
by
Broy, Manfred
Published 1991
Springer
“
...Lecture Notes in
Computer
Science...
”
Read Now
10
Program
Construction : International Summer School
by
Bauer, Friedrich
Published 1979
Springer
“
...Lecture Notes in
Computer
Science...
”
Read Now
11
Einführung in die Softwaretechnik
by
Broy, Manfred
,
Kuhrmann, Marco
Published 2021
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
12
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
...
Programming
Issues -- The Verifying Compiler: A Grand Challenge for
Computing
Research -- Linear...
”
Read Now
13
Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... -- Abstract
Computability
of Non-deterministic
Programs
over Various Data Structures -- On Lexicographic...
”
Read Now
14
Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... -- Constraint
Programming
-- A Control Language for Designing Constraint Solvers -- An Algorithm to
Compute
...
”
Read Now
15
Informatik : Eine grundlegende Einführung Teil I. Problemnahe Programmierung
by
Broy, Manfred
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...Compilers (
Computer
programs
)...
”
Read Now
16
Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany,...
Published 2005
Springer Netherlands
Table of Contents:
“
... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and
Program
Verification, Model Checking...
”
Read Now
17
Formal Methods in
Programming
and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
by
Bjørner, Dines
Published 1993
Springer
“
...Lecture Notes in
Computer
Science...
”
Read Now
18
Informatik. Eine grundlegende Einführung : Teil III: Systemstrukturen und systemnahe Programmierung
by
Broy, Manfred
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
19
Software Pioneers : Contributions to Software Engineering
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
...: A Personal Perspective -- An Axiomatic Basis for
Computer
Programming
-- Proof of Correctness...
”
Read Now
20
Model-Based Testing of Reactive Systems : Advanced Lectures
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...Compilers (
Computer
programs
)...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Author: Broy, Manfred
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
18
005 - Computer programming, programs & data
18
Language
English
24
German
9
Collection
Springer Book Archives -2004
23
Springer eBooks 2005-
7
Lecture Notes in Computer Science
3
Springer Lecture Notes Archiv 1964-1996
3
Author
Broy, Manfred
Bjørner, Dines
6
Zamulin, Alexandre V
3
Denert, Ernst
2
Krüger, Ingolf
2
Meisinger, Michael
2
more ...
Pottosin, Igor V.
2
Wirsing, Martin
2
Zamulin, Alexandre V.
2
Bauer, Friedrich
1
Bjøner, Dines
1
Dijkstra, E.
1
Geisberger, Eva
1
Gerhart, S.
1
Gruenbauer, Johannes
1
Harel, David
1
Hoare, Tony
1
Jonsson, Bengt
1
Jähnichen, Stefan
1
Katoen, Joost-Pieter
1
Kuhrmann, Marco
1
Leucker, Martin
1
Merz, Stephan
1
Pottosin, Igor
1
Schieder, Birgit
1
Spies, Katharina
1
Stølen, Ketil
1
Zamulin, Alexandre
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Broy%2C+Manfred%22&lookfor=%28%28%28%28computer+programming%29+OR+%28computer+programs%29%29%29+or+%28computer+program%29%29&type=AllFields
Send by Email
×
Loading...