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 57 träffar

Titel Författare År Språk
41 Logic of Programming and Calculi of Discrete Design Manfred; Dijkstra Broy 1987 Engelska
42 Theoretical Foundations of Programming Methodology Manfred; Schmidt Broy 1982 Engelska
43 Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Russia) Novosibirsk International Andrei Ershov Memorial Conference 2001 : Akademgorodok 2001 Engelska
44 Specification and Development of Interactive Systems Ketil Stølen 2001 Okänt
45 Control Flow and Data Flow: Concepts of Distributed Programming Manfred Broy 1986 Okänt
46 Logic of Programming and Calculi of Discrete Design Manfred Broy 1987 Okänt
47 Mathematical Methods in Program Development Manfred Broy 1997 Okänt
48 Program Design Calculi Manfred Broy 1993 Okänt
49 Model-Based Testing of Reactive Systems Manfred Broy 2005 Okänt
50 Automotive Software Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers Manfred Broy 2006 Okänt
51 Model-Based Engineering of Collaborative Embedded Systems Wolfgang Böhm 2021 Okänt
52 Model-Based Engineering of Collaborative Embedded Systems Böhm 2021 Engelska
53 Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology 2021 Okänt
54 Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 315 August 2004 2005 Okänt
55 Mathematical Methods in Program Development 1997 Okänt
56 Engineering Dependable Software Systems Manfred Broy 2013 Engelska
57 Modellbildung in der Informatik / Manfred Broy, Ralf Steinbrüggen Manfred Broy uuuu-uuuu Okänt

Förra sidan 1 2 3

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.