logo UG

Bibliografia Publikacji Pracowników, Doktorantów i Studentów UG




Zapytanie: TARLECKI ANDRZEJ
Liczba odnalezionych rekordów: 1



Przejście do opcji zmiany formatu | Wyświetl/ukryj etykiety | Wyświetl wyniki w wersji do druku | | Przesłanie wyników do modułu analizy | Nowe wyszukiwanie
1/1
AUTORZY: Till Mossakowski, Wiesław Pawłowski, Donald Sannella, Andrzej Tarlecki.
TYTUŁ [ROZDZIAŁU, FRAGMENTU]: Parchments for CafeOBJ logics
ŹRÓDŁO: W: Specification, algebra, and software : essays dedicated to Kokichi Futatsugi / Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
ADRES WYDAWNICZY: Berlin ; Heidelberg : Springer-Verlag, 2014
SERIA: Lecture Notes in Computer Science, 0302-9743, 8373
OPIS FIZYCZNY: S. [66]-91
ISBN: 978-3-642-54623-5
UWAGI: Bibliogr. 36 poz.
Typ publikacji: ZMR
Język publikacji: ENG
Punktacja MNiSW: 5.000
Inne bazy podające opis:
  • Scopus

    DOI:
      Wyświetl ponownie stosując format:
  • Wyświetl/ukryj etykiety | Wyświetlenie wyników w wersji do druku | | Nowe wyszukiwanie | Biblioteka Główna Uniwersytetu Gdańskiego