Dangos
1 - 3
canlyniadau o
3
ar gyfer chwilio '
'
Neidio i'r cynnwys
UPFind
0
eitemau
(Llawn)
Iaith
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
हिंदी
Pob Maes
Teitl
Awdur
Pwnc
Rhif Galw
ISBN/ISSN
Canfod
Uwch
SUBJECT:
Computer software
AND
Verification
AUTHOR:
Association for Computing Machinery. Special Interest Group on Computer Science Education
Dangos Hidlyddion (3)
SUBJECT:
Computer software
AND
Verification
AUTHOR:
Association for Computing Machinery. Special Interest Group on Computer Science Education
Canlyniadau Chwilio
Dangos
1 - 3
canlyniadau o
3
ar gyfer chwilio '
'
, amser ymholiad: 0.04e
Mireinio'r Canlyniadau
Sortio
Perthnasedd
Newest to Oldest
Oldest to Newest
Awdur
Teitl
Dewis Tudalen | gan detholion:
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
Dewiswch ganlyniad rhif 1
1
HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
Cyhoeddwyd 2014
Rhif Galw:
Llwytho...
Wedi'i leoli:
Llwytho...
Llyfr
Llwytho...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 2
2
HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
Cyhoeddwyd 2013
Rhif Galw:
Llwytho...
Wedi'i leoli:
Llwytho...
Llyfr
Llwytho...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 3
3
HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
Cyhoeddwyd 2012
Rhif Galw:
Llwytho...
Wedi'i leoli:
Llwytho...
Llyfr
Llwytho...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewis Tudalen | gan detholion:
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
Offerynnau Chwilio:
Cael Porthiant RSS
—
E-bostio'r Chwiliad hwn
Yn Ôl
Manylu'r Chwiliad
CAMPUS
Diliman
3
DATABASE
Union Catalog (Buklod)
3
UNIT LIBRARY
College of Engineering Library II
3
YEAR OF PUBLICATION
o:
i:
CLASSIFICATION
Q - Gwyddoniaeth
3
SUBJECT
Computer software
Verification
Ada (Computer program language)
2
Reliability
2
AUTHOR
ACM Special Interest Group on Programming Languages
3
Association for Computing Machinery. Special Interest Group on Computer Science Education
Association for Computing Machinery. Special Interest Group on Computers and Society
3
Association for Computing Machinery. Special Interest Group on Embedded Systems
3
SIGAPP
3
SIGAda
3
ACM Sigsoft
2
Ada-Europe International Conference on Reliable Software Technologies
1
Gweld pob un ...
RESOURCE TYPE
Llyfr
3
LANGUAGE
English
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Llwytho...