Nie jesteś zalogowany | Zaloguj się

PL /
EN

Czasopismo: Formal Aspects of Computing

Liczba publikacji: 2

2014

Andrzej Tarlecki , Władysław Marek Turski (1938 - 2013), Formal Aspects of Computing, 2014. Zobacz w PBN

2002

Michel Bidoit, Don Sannella, Andrzej Tarlecki , Architectural Specifications in CASL, Formal Aspects of Computing, 2002. Zobacz w PBN

Fundusze Europejskie

Europejski Fundusz Społeczny

Inicjatywa doskonałości – uczelnia badawcza

HR Excellence in Research

Zintegrowany Program Rozwoju

Narodowe Centrum Nauki

Uniwersytecki System Obsługi Studiów

Internetowa Rejestracja Kandydatów MOST

Erasmus Without Paper

Uniwersytecki System Obsługi Studiów

Internetowa Rejestracja Kandydatów MOST

Erasmus Without Paper