25 treff
Automotive software - connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers
Automotive Software Workshop
Bok Engelsk 2006
Model-based testing of reactive systems : advanced lectures
Manfred Broy ... [et al.] (eds.)
Bok Engelsk 2005
Engineering theories of software intensive systems
NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems
Bok Engelsk 2005
Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
International Andrei Ershov Memorial Conference
Bok Engelsk 2003
Software pioneers : contribution to software engineering
Manfred Broy, Ernst Denert (Eds.)
Bok Engelsk 2002
Specification and development of interactive systems : focus on streams, interfaces, and refinement
Manfred Broy, Ketil Stølen
Bok Engelsk 2001
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
International Andrei Ershov Memorial Conference
Bok Engelsk 2001
Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
International Andrei Ershov Memorial Conference
Bok Engelsk 2000
Calculational system design
NATO Advanced Study Institute on Calculational System Design
Bok Engelsk 1999
Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
International Workshop RTSE
Bok Engelsk 1998
Mathematical methods in program development
NATO Advanced Study Institute on Mathematical Methods in Program Development
Bok Engelsk 1997
Formal systems specification : the RPC-memory specification case study
Manfred Broy, Stephan Merz, Katharina Spi...
Bok Engelsk 1996
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings
International Andrei Ershov Memorial Conference
Bok Engelsk 1996
Deductive program design
NATO Advanced Study Institute on Deductive Program Design
Bok Engelsk 1996
KORSO : methods, languages, and tools for the construction of correct software : final report
Manfred Broy, Stefan Jähnichen, (eds.)
Bok Engelsk 1995
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings
Dines Bjørner, Manfred Broy, Igor V. Pott...
Bok Engelsk 1993
Program design calculi
NATO Advanced Study Institute on Program Design Calculi
Bok Engelsk 1993
Programming and mathematical method : International Summer School directed by F. L. Bauer ... [et al.]
NATO Advanced Study Institute on Programming and Mathematical Method
Bok Engelsk 1992
Methods of programming : selected papers on the CIP-project
M. Broy, M. Wirsing (eds.)
Bok Engelsk 1991
Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.]
NATO Advanced Study Institute on Constructive Methods in Computing Science
Bok Engelsk 1989
Logic of programming and calculi of discrete design : International Summer School
NATO Advanced Study Institute on Logic of Programming andCalculi of Discrete Design
Bok Engelsk 1987
Control flow and data flow : concepts of distributed programming : international summer school, directed by F. L. Bauer, E. W. Dijkstra, C. A. R. Hoare
NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming
Bok Engelsk 1985
Specification and top down design of distributed systems
Manfred Broy
Bok Engelsk 1984
Theoretical foundations of programming methodology : lecture notes of an international summer school
directed by F. L. Bauer, E. W. Dijkstra a...
Bok Engelsk 1982
Program construction : International Summer School
F. L. Bauer ... [et al.] ; edited by F. L...
Bok Språk ikke angitt 1979