Tomasz Borzyszkowski

Systemy logiczne dla specyfikacji strukturalnych

Afiliacja

Instytut Matematyki Uniwersytetu Gdańskiego

W zakresie

informatyki

Data nadania

14 grudnia 2000

Promotor

• prof. dr hab. Andrzej Tarlecki

Recenzenci

• dr hab. Michał Grabowski
• dr hab. Marian Srebrny (Instytut Podstaw Informatyki PAN)