Przejdź do treści
Czekaj...
Wczytywanie...
Nie jesteś zalogowany |
zaloguj się
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Menu główne
studia
Kandydat
Student
Doktorant
Wykładowca
Erasmus
Cтуденти з України
wydział
dojazd i plan
Rada Wydziału
formularze, dokumenty
struktura i organizacja
pracownicy i doktoranci
aktualności
zamówienia publiczne
badania
dziedziny badań
seminaria
publikacje
granty
Rada Dyscyplin
Sekcja Obsługi Badań
IDUB
popularyzacja
zajęcia dla uczniów
materiały online
dla studentów i matematyków
dla wszystkich
konkursy, projekty
inne materiały
Formularz wyszukiwania
Szukaj
PL /
EN
USOSweb
SRS
APD
Moodle
Lab. komputerowe
poczta studencka
poczta pracownicza
Plany
Biblioteka
Wspomnienia
Praca
Deklaracja dostępności
Skala szarości
Wysoki kontrast
Negatyw
Podkreślenie linków
Reset
Powrót do listy instytutów
Publikacje
Czasopismo: Formal Aspects Of Computing
Liczba publikacji: 2
2014
Andrzej Tarlecki
,
Władysław Marek Turski (1938 - 2013)
,
Formal Aspects Of Computing
26 (5) 2014, s. 863––864.
zobacz w PBN
2002
Andrzej Tarlecki
, Michel Bidoit i Don Sannella,
Architectural Specifications in CASL
,
Formal Aspects Of Computing
13 2002, s. 252–273.
zobacz w PBN