Treffer
1 - 3
von
3
für Suche '
'
Weiter zum Inhalt
UPFind
0
in der Auswahl
(Voll)
Sprache
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
हिंदी
Alle Felder
Titel
Verfasser
Schlagwort
Signatur
ISBN/ISSN
Suchen
Erweitert
SUBJECT:
Computer software
UND
Verification
AUTHOR:
Association for Computing Machinery. Special Interest Group on Computer Science Education
Filter anzeigen (3)
SUBJECT:
Computer software
UND
Verification
AUTHOR:
Association for Computing Machinery. Special Interest Group on Computer Science Education
Suchergebnisse
Treffer
1 - 3
von
3
für Suche '
'
, Suchdauer: 0,02s
Treffer weiter einschränken
Sortieren
Relevanz
Newest to Oldest
Oldest to Newest
Verfasser
Titel
Alles auswählen | Auswahl:
E-Mail
Export
Drucken
In die Zwischenablage
Bitte wählen Sie die Treffernummer 1
1
HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
Veröffentlicht 2014
Signatur:
Wird geladen...
Standort:
Wird geladen...
Buch
Wird geladen...
In die Zwischenablage
Aus der Zwischenablage entfernen
Bitte wählen Sie die Treffernummer 2
2
HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
Veröffentlicht 2013
Signatur:
Wird geladen...
Standort:
Wird geladen...
Buch
Wird geladen...
In die Zwischenablage
Aus der Zwischenablage entfernen
Bitte wählen Sie die Treffernummer 3
3
HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
Veröffentlicht 2012
Signatur:
Wird geladen...
Standort:
Wird geladen...
Buch
Wird geladen...
In die Zwischenablage
Aus der Zwischenablage entfernen
Alles auswählen | Auswahl:
E-Mail
Export
Drucken
In die Zwischenablage
Suchwerkzeuge:
RSS-Feed abonnieren
—
Diese Suche als E-Mail versenden
Zurück
Suche einschränken
CAMPUS
Diliman
3
DATABASE
Union Catalog (Buklod)
3
UNIT LIBRARY
College of Engineering Library II
3
YEAR OF PUBLICATION
Von:
Bis:
CLASSIFICATION
Q - Wissenschaft
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
Alle anzeigen ...
RESOURCE TYPE
Buch
3
LANGUAGE
English
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Wird geladen...