Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Manfred. Broy
58 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Advanced Model-Based Engineering of Embedded Systems - Extensions of the SPES 2020 Methodology
|
|
2016 |
Engelska |
| 2 |
Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology
|
|
2016 |
Okänt |
| 3 |
Automotive Software- Connected Services in Mobile Networks electronic resource - First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
|
Manfred. Broy
|
2006 |
Engelska |
| 4 |
Constructive Methods in Computing Science
|
Manfred Broy
|
1989 |
Engelska |
| 5 |
Control Flow and Data Flow: Concepts of Distributed Programming
|
Manfred; Dijkstra Broy
|
1986 |
Engelska |
| 6 |
Logic of Programming and Calculi of Discrete Design
|
Manfred; Dijkstra Broy
|
1987 |
Engelska |
| 7 |
Pioneers and Their Contributions to Software Engineering
|
Manfred; Denert Broy
|
2001 |
Engelska |
| 8 |
Software Pioneers
|
Manfred; Denert Broy
|
2002 |
Engelska |
| 9 |
Engineering Dependable Software Systems
|
Manfred Broy
|
2013 |
Engelska |
| 10-11 |
Model-Based Testing of Reactive Systems
(flera utgåvor)
|
Manfred. Broy
|
2005 |
Engelska |
| 12 |
"Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers"
|
Manfred Broy
|
2008 |
Okänt |
| 13 |
Modellbildung in der Informatik / Manfred Broy, Ralf Steinbrüggen
|
Manfred Broy
|
uuuu-uuuu |
Okänt |
| 14 |
Programming and Mathematical Method
|
Manfred Broy
|
1992 |
Engelska |
| 15 |
Mathematical Methods in Program Development
|
Manfred; Schieder Broy
|
1997 |
Engelska |
| 16 |
Theoretical Foundations of Programming Methodology
|
Manfred; Schmidt Broy
|
1982 |
Engelska |
| 17 |
Model-Based Engineering of Collaborative Embedded Systems
|
Böhm
|
2021 |
Engelska |
| 18 |
Model-Based Engineering of Collaborative Embedded Systems
|
Wolfgang Böhm
|
2021 |
Okänt |
| 19 |
Constructive methods in computing science - international summer school directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
|
NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 : Marktoberdorf)
|
cop. 1989 |
Engelska |
| 20 |
Control flow and data flow - concepts of distributed programming : international summer school, directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare
|
|
cop. 1985 |
Engelska |
1
2
3
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.