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
21-22 Model-Based Testing of Reactive Systems (flera utgåvor) Manfred. Broy 2005 Engelska
23 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
24 Model-Driven Development of Reliable Automotive Services electronic resource - Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers David. Hutchison 2008 Engelska
25 Advanced Model-Based Engineering of Embedded Systems - Extensions of the SPES 2020 Methodology 2016 Engelska
26 Model-Driven Development of Reliable Automotive Services Manfred Broy 2008 Okänt
27 Model-Based Engineering of Embedded Systems - The SPES 2020 Methodology Klaus. Pohl 2012 Engelska
28 Perspectives of System Informatics Manfred Broy uuuu-uuuu Okänt
29 Methods of Programming Manfred Broy uuuu-uuuu Okänt
30 KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report 1995 Engelska
31 Formal Methods in Programming and Their Applications - International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings 1993 Engelska
32 Formal Systems Specification Manfred Broy uuuu-uuuu Okänt
33 Constructive Methods in Computing Science Manfred Broy 1989 Okänt
34 Programming and Mathematical Method Manfred Broy 1992 Okänt
35 Pioneers and Their Contributions to Software Engineering Manfred; Denert Broy 2001 Engelska
36 Software Pioneers Manfred; Denert Broy 2002 Engelska
37 Mathematical Methods in Program Development Manfred; Schieder Broy 1997 Engelska
38 Constructive Methods in Computing Science Manfred Broy 1989 Engelska
39 Programming and Mathematical Method Manfred Broy 1992 Engelska
40 Control Flow and Data Flow: Concepts of Distributed Programming Manfred; Dijkstra Broy 1986 Engelska

Förra sidan 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.