Obiekt
Tytuł: Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA
Tytuł odmienny:
Deduction based formal verification of SOA compliant enterprise software
Autor:
Klimek, Radosław ; Skrzyński, Paweł
Opis:
Abstrakt:
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Miejsce wydania:
Data wydania:
Typ zasobu:
Identyfikator zasobu:
Język:
Powiązania:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212 ; Informatyka Ekonomiczna = Business Informatics, 2011, Nr 22
Prawa:
Wszystkie prawa zastrzeżone (Copyright)
Prawa dostępu:
Dla wszystkich w zakresie dozwolonego użytku
Lokalizacja oryginału:
Uniwersytet Ekonomiczny we Wrocławiu
Źródło finansowania:
Tytuł publikacji grupowej:
Kolekcje, do których przypisany jest obiekt:
- Dolnośląska Biblioteka Cyfrowa > Uczestnicy Konsorcjum > 04. Uniwersytet Ekonomiczny we Wrocławiu > Czasopisma wydawane przez Wydawnictwo UEW > Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics
- Dolnośląska Biblioteka Cyfrowa > Zasoby > 2. Czasopisma > Czasopisma współczesne
Data ostatniej modyfikacji:
27 lut 2023
Data dodania obiektu:
12 paź 2022
Liczba wyświetleń treści obiektu:
8
Wszystkie dostępne wersje tego obiektu:
https://dbc.wroc.pl/publication/155977
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
| Nazwa wydania | Data |
|---|---|
| Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA | 27 lut 2023 |
Podobne
Klimek, Radosław Ernst, Sebastian
Klimek, Radosław Szwed, Piotr Jędrusik, Stanisław
Klimek, Radosław Skrzyński, Paweł Turek, Michał
Asheroft, Michael
