Constructive methods in computing science /

Vydáno 1989

Control flow and data flow: concepts of distributed programming /

Vydáno 1985

KORSO : methods, languages, and tools for the construction of correct software : final report /

Vydáno 1995

Logic of programming and calculi of discrete design /

Vydáno 1987

Perspectives of system informatics : 4th International Andrei Ershow Memorial Conference, PSI 2001 : Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers /

Vydáno 2001

Perspectives of system informatics : third International Andrei Ershow Memorial Conference, PSI '99 : Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /

Vydáno 2000

Programming and mathematical method /

Vydáno 1992

Specification and development of interactive systems : focus on streams, interfaces, and refinement /

Autor Broy, Manfred, 1949-, Stølen, Ketil
Vydáno 2001

Model-based testing of reactive systems : acvanced lectures /

Vydáno 2005

Model-driven development of reliable automotive services : second Automotive Software Workshop, ASWSD 2006 : San Diego, CA, USA, March 15-17, 2006 : revised selected papers /

Vydáno 2006

Automotive software - connected services in mobile networks : first automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers /

Vydáno 2004

Engineering dependable software systems /

Vydáno 2013