Temat: Oprogramowanie - weryfikacja - konferencje. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Oprogramowanie - weryfikacja - konferencje." wg kryterium: Temat

Źródło danych

Wyświetlanie 1-4 z 4

Zaznacz stronę

Skocz do pozycji 1.

Tytuł pełny:: Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K. G. Larsen, A. Skou (eds.)
Wydawca:: Berlin : Springer
Rok wydania:: 1992
Seria:: Lecture Notes in Computer Science ; 575
Temat:: Weryfikacja oprogramowania - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Computer-Aided Verification : 2nd International Conference, CAV' 90 New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E. M. Clarke, R. P. Kurshan (eds.)
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1991
Seria:: Lecture Notes in Computer Science ; 531
Temat:: Weryfikacja oprogramowania - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: International Symposium on Programming : proceedings of the fourth "Colloque International sur la Programmation", Paris, 22-24 April 1980 / ed. by B. Robinet
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1980
Seria:: Lecture Notes in Computer Science ; 83
Temat:: Języki programowania - semantyka - konferencje.
Weryfikacja oprogramowania - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 / ed. by J. Bečvář
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1979
Seria:: Lecture Notes in Computer Science ; 74
Temat:: Języki programowania - konferencje.
Komputery - programowanie - konferencje.
Algorytmy - konferencje.
Weryfikacja oprogramowania - konferencje.
Logika matematyczna nieklasyczna - konferencje.

Książka

na półce

Szczegóły

Wyświetlanie 1-4 z 4

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.