Object
Title: Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA
Title in english:
Deduction based formal verification of SOA compliant enterprise software
Creator:
Klimek, Radosław ; Skrzyński, Paweł
Description:
Abstrakt:
Publisher:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Place of publication:
Date:
Resource Type:
Resource Identifier:
Language:
Relation:
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
Rights:
Wszystkie prawa zastrzeżone (Copyright)
Access Rights:
Dla wszystkich w zakresie dozwolonego użytku
Location:
Uniwersytet Ekonomiczny we Wrocławiu
Coverage:
Group publication title:
Object collections:
- Lower Silesian Digital Library > Participants of the Consortium > 04. Wroclaw University of Economics > Periodicals published by the University Publishing House > Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics
- Lower Silesian Digital Library > Resources > 2. Czasopisma > Czasopisma współczesne
Last modified:
Feb 27, 2023
In our library since:
Oct 12, 2022
Number of object content hits:
14
All available object's versions:
https://dbc.wroc.pl/publication/155977
Show description in RDF format:
Show description in OAI-PMH format:
| Edition name | Date |
|---|---|
| Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA | Feb 27, 2023 |
Similar
Klimek, Radosław Ernst, Sebastian
Klimek, Radosław Szwed, Piotr Jędrusik, Stanisław
Klimek, Radosław Skrzyński, Paweł Turek, Michał
Asheroft, Michael
