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