Informatica als wetenschap : formele specificatie en wiskundige verificatie

J.C.M. Baeten

Research output: Book/Report › Inaugural/farewell speech › Academic

91 Downloads (Pure)

Original language	Dutch
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	15
Publication status	Published - 1992

Intreerede, uitgesproken op vrijdag 30 oktober 1992 aan de Technische Universiteit Eindhoven

Access to Document

TY - BOOK

T1 - Informatica als wetenschap : formele specificatie en wiskundige verificatie

AU - Baeten, J.C.M.

N1 - Intreerede, uitgesproken op vrijdag 30 oktober 1992 aan de Technische Universiteit Eindhoven

PY - 1992

Y1 - 1992

M3 - Inaugurale/afscheids rede

BT - Informatica als wetenschap : formele specificatie en wiskundige verificatie

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -