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

Titel Författare År Språk
1 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
2 Logic of programming and calculi of discrete design - proceedings of the Nato Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986 NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf) cop. 1987 Engelska
3 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
4 Program construction 1979 Engelska
5 Informatik und Mathematik c1991 Tyska
6 Methods of programming - selected papers on the CIP-project cop. 1991 Engelska
7 Formal methods in programming and their applications - proceedings cop. 1993 Engelska
8 KORSO - methods, languages, and tools for the construction of correct software : final report cop. 1995 Engelska
9 Formal systems specification - the RPC-memory specification case study cop. 1996 Engelska
10 Requirements targeting software and systems engineering - International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings International Workshop on Requirements Targeting Software and Systems Engineering (1997 : Bernried) cop. 1998 Engelska
11-12 Perspectives of system informatics - proceedings (flera utgåvor) International Andrei Ershov Memorial Conference 1999 : Akademgorodok) cop. 2000 Engelska
13 Theoretical foundations of programming methodology - lecture notes of an international summer school directed by F.L. Bauer, E.W. Dykstra and C.A.R. Hoare cop. 1982 Engelska
14-15 Perspectives of system informatics - 4th International Andrei Ershov Memorial Conference revised papers (flera utgåvor) International Andrei Ershov Memorial Conference 2001) Novosibirsk : 2002 Engelska
16 Software pioneers - contributions to software engineering sd&m conference on software pioneers, Bonn, June 28/29, 2001 cop. 2002 Engelska
17 Perspectives of system informatics. - 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers Russia) Novosibirsk International Andrei Ershov Memorial Conference 2003 : Akademgorodok c2003 Engelska
18 Engineering theories of software intensive systems Germany) NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems (2004 : Marktoberdorf 2005 Engelska
19 Software system reliability and security c2007 Engelska
20 Model-Based Testing of Reactive Systems Manfred. Broy 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.