Informacja

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

Tytuł pozycji:

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980

Tytuł pełny:
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / ed. by A. Salwicki
Konferencja:
Symposium on Logics of Programs and their Applications (1980 ; Poznań)
Współtwórcy:
Salwicki, Andrzej. Redaktor
Wydawca:
Berlin : Springer
Rok wydania:
1983
Seria:
Lecture Notes in Computer Science ; 148
Zawartość serii:
Lecture Notes in Computer Science 0302-9743 148
Opis fizyczny:
VI, 324 s. ; 24 cm
ISBN:
3540119817
Uwagi:
W przedm. nazwa konf.: Symposium on Logics of Programs and their Applications
Dostępne również w formie elektronicznej
Temat:
Komputery - programowanie - konferencje.
Książka
propozycja biblioteki
LDR 01727cam#a2200361#i#4500
001 0042200484768
003 KAT U, KAT 001
005 20220829225221.7
008 981106s1983####gw#####|#####|10|#||eng|c
020 %a 3540119817
035 %a xx001641514
035 %a (NUKAT)vtls001641514
040 %a NUKAT %c WA U/MK %d WA U/RB %d TOR U/WS
245 0 0 %a Logics of programs and their applications : %b proceedings, Poznan, August 23-29, 1980 / %c ed. by A. Salwicki.
260 # %a Berlin : %b Springer, %c 1983.
300 %a VI, 324 s. ; %c 24 cm.
336 %a Tekst %b txt %2 rdacontent
337 %a Bez urządzenia pośredniczącego %b n %2 rdamedia
338 %a Wolumin %b nc %2 rdacarrier
490 1 %a Lecture Notes in Computer Science ; %v 148
500 %a W przedm. nazwa konf.: Symposium on Logics of Programs and their Applications.
530 %a Dostępne również w formie elektronicznej.
650 # %a Komputery %x programowanie %v konferencje.
700 1 # %a Salwicki, Andrzej. %e Redaktor
711 2 # %a Symposium on Logics of Programs and their Applications %d (1980 ; %c Poznań).
830 0 %a Lecture Notes in Computer Science %x 0302-9743 %v 148
856 4 1 %u https://www.infona.pl/resource/isbn/9783540119814
856 4 # %u https://integro.ciniba.edu.pl/integro/site/recorddetail/0042200484768 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920 %a 3-540-11981-7
982 %a 004.4 %c LOGICS OF %d SALWICKI, A. %z Oprogramowanie. Systemy komputerowe. Programy komputerowe i języki programowania ogólnie

Dokumenty przeznaczone do wypożyczenia

Położenie:
CINiBA
Lokalizacja:
Magazyn
Sygnatura:
137299
Nr inwentarza:
G 137299
Dostępny

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.

Formularz