Rezultaty
1 - 1
Rezultaty od
1
Dla wyszukiwania '
'
Przejdź do treści
UPFind
0
w liście podręcznej
(Pełny)
Język
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Wszystkie pola
Tytuł
Autor
Hasło przedmiotowe
Sygnatura
ISBN / ISSN
Szukaj
Wyszukiwanie zaawansowane
AUTHOR:
Ada-Europe International Conference on Reliable Software Technologies
I
Association for Computing Machinery. Special Interest Group on Computer Science Education
UNIT LIBRARY:
College of Engineering Library II
SUBJECT:
Computer software
I
Verification
Pokaż filtry (5)
AUTHOR:
Ada-Europe International Conference on Reliable Software Technologies
I
Association for Computing Machinery. Special Interest Group on Computer Science Education
UNIT LIBRARY:
College of Engineering Library II
SUBJECT:
Computer software
I
Verification
Rezultaty
Rezultaty
1 - 1
Rezultaty od
1
Dla wyszukiwania '
'
, Czas wyszukiwania: 0,01s
Redukuj rezultaty
Sortuj
Ważność
Newest to Oldest
Oldest to Newest
Autor
Tytuł
Wybierz wszystko | Zaznaczone:
Email
Eksport
Drukuj
Dodaj do listy podręcznej
Wybierz numer wyniku 1
1
HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
Wydane 2012
Sygnatura:
Ładuje się......
Zlokalizowane:
Ładuje się......
Książka
Ładuje się......
Dodaj do listy podręcznej
Usuń z listy podręcznej
Wybierz wszystko | Zaznaczone:
Email
Eksport
Drukuj
Dodaj do listy podręcznej
Narzędzie wyszukiwania:
Abonuj RSS
—
Wyślij rezultaty emailem
z powrotem
Redukuj rezultaty
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
1
UNIT LIBRARY
College of Engineering Library II
YEAR OF PUBLICATION
od:
do:
CLASSIFICATION
Q - Nauka
1
SUBJECT
Computer software
Verification
AUTHOR
ACM Special Interest Group on Programming Languages
1
Ada-Europe International Conference on Reliable Software Technologies
Association for Computing Machinery. Special Interest Group on Computer Science Education
Association for Computing Machinery. Special Interest Group on Computers and Society
1
Association for Computing Machinery. Special Interest Group on Embedded Systems
1
SIGAPP
1
SIGAda
1
Zobacz wszystkie ...
RESOURCE TYPE
Książka
1
LANGUAGE
English
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Ładuje się......