Constructive methods in computing science /

Vydáno 1989

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