Federacja Bibliotek Cyfrowych

Strona główna
Biblioteka Cyfrowa AJD
On the SMT-based Verification of Communicative Commitments

Szczegóły obiektu: On the SMT-based Verification of Communicative Commitments

tile.noImage

Instytucja dostarczająca:Biblioteka Cyfrowa AJD

Opis

Tytuł:
On the SMT-based Verification of Communicative Commitments
Twórca:
Szcześniak, Ireneusz;
Woźna-Szcześniak, Bożena
Opis:
Cz. 21;
Mathematics;
s. 161-187;
Scientific Issues Jan Długosz University in Częstochowa
Dostępność obiektu:
Dostęp otwarty
Prawa:
CC BY 3.0 PL
Typ:
artykuł
Język:
angielski;
eng
Format:
application/pdf
Wydawca:
Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie
Identyfikator:
ISSN 2450–9302;
10.16926/m.2016.21.14;
http://dx.doi.org/10.16926/m.2016.21.14
Dostawca danych:
Biblioteka Cyfrowa AJD

Czy mogę z tego obiektu skorzystać?:
sprawdź warunki licencji
Rodzaj zawartości:
obrazy

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności