Εμφανίζονται
41 - 43
Αποτελέσματα από
43
για την αναζήτηση '
"Computer software Verification"
'
Μετάβαση στο περιεχόμενο
UPFind
Καλάθι βιβλίων:
0
τεκμήρια
(Γεμάτο καλάθι)
Γλώσσα
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
हिंदी
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Αναζήτηση
Σύνθετη
Αποτελέσματα αναζήτησης - "Computer software Verification"
Εμφανίζονται
41 - 43
Αποτελέσματα από
43
για την αναζήτηση '
"Computer software Verification"
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Newest to Oldest
Oldest to Newest
Ανά συγγραφέα
Ανά Τίτλο
Select Page
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στο καλάθι
Επιλογή αποτελέσματος με αριθμό 41
41
Independent verification and validation a life cycle engineering process for quality software
ανά
Lewis, Robert O. 1938-
Έκδοση 1992
Ταξιθετικός Αριθμός:
loading...
Βρίσκεται σε:
loading...
Βιβλίο
loading...
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Επιλογή αποτελέσματος με αριθμό 42
42
Program verification
ανά
Francez, Nissim
Έκδοση 1992
Ταξιθετικός Αριθμός:
loading...
Βρίσκεται σε:
loading...
Βιβλίο
loading...
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Επιλογή αποτελέσματος με αριθμό 43
43
Rigorous Software Development An Introduction to Program Verification
ανά
Almeida, José Bacelar
Ταξιθετικός Αριθμός:
loading...
Βρίσκεται σε:
loading...
Available for University of the Philippines System via SpringerLink. Click here to access
Electronic Resource
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Select Page
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στο καλάθι
[1]
Προηγούμενα
1
2
3
4
5
Εργαλεία αναζήτησης:
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Η σελίδα θα φορτωθεί εκ νέου όταν επιλεγεί ή αποεπιλεγεί κάποιο φίλτρο.
CAMPUS
Diliman
41 αποτελέσματα
41
Baguio
2 αποτελέσματα
2
DATABASE
Union Catalog (Buklod)
43 αποτελέσματα
43
UNIT LIBRARY
College of Engineering Library II
28 αποτελέσματα
28
Diliman Main Library: Info. Services & Instruction Section
13 αποτελέσματα
13
UP Baguio Main Library
2 αποτελέσματα
2
School of Statistics
1 αποτελέσματα
1
YEAR OF PUBLICATION
από:
έως:
CLASSIFICATION
Q - Επιστήμες
14 αποτελέσματα
14
M - Μουσική
1 αποτελέσματα
1
T - Τεχνολογία
1 αποτελέσματα
1
SUBJECT
Computer software
43 αποτελέσματα
43
Verification
42 αποτελέσματα
42
Electronic books
25 αποτελέσματα
25
Formal methods (Computer science)
9 αποτελέσματα
9
Software engineering
9 αποτελέσματα
9
Software architecture
7 αποτελέσματα
7
Validation
6 αποτελέσματα
6
Computer hardware description languages
5 αποτελέσματα
5
Reliability
4 αποτελέσματα
4
System analysis
4 αποτελέσματα
4
Computer programs
3 αποτελέσματα
3
Computer systems
3 αποτελέσματα
3
Development
3 αποτελέσματα
3
Ada (Computer program language)
2 αποτελέσματα
2
Computer input-output equipment
2 αποτελέσματα
2
Electronic digital computers
2 αποτελέσματα
2
Evaluation
2 αποτελέσματα
2
Integrated circuits
2 αποτελέσματα
2
Mathematical models
2 αποτελέσματα
2
Modeling
2 αποτελέσματα
2
Object-oriented methods (Computer science)
2 αποτελέσματα
2
SysML (Computer science)
2 αποτελέσματα
2
Systems engineering
2 αποτελέσματα
2
Testing
2 αποτελέσματα
2
Artificial intelligence
1 αποτελέσματα
1
Automatic control
1 αποτελέσματα
1
Automatic theorem proving
1 αποτελέσματα
1
Compilers (Computer programs)
1 αποτελέσματα
1
Congresses
1 αποτελέσματα
1
Data flow computing
1 αποτελέσματα
1
Προβολή όλων…
AUTHOR
SpringerLink (Online service)
19 αποτελέσματα
19
ACM Special Interest Group on Programming Languages
3 αποτελέσματα
3
Association for Computing Machinery. Special Interest Group on Computer Science Education
3 αποτελέσματα
3
Association for Computing Machinery. Special Interest Group on Computers and Society
3 αποτελέσματα
3
Association for Computing Machinery. Special Interest Group on Embedded Systems
3 αποτελέσματα
3
Drechsler, Rolf
3 αποτελέσματα
3
FDL (Conference) Paris, France)
3 αποτελέσματα
3
Holt, Jon
3 αποτελέσματα
3
SIGAPP
3 αποτελέσματα
3
SIGAda
3 αποτελέσματα
3
Wille, Robert
3 αποτελέσματα
3
ACM Sigsoft
2 αποτελέσματα
2
Dasso, Aristides 1943-
2 αποτελέσματα
2
Funes, Ana 1964-
2 αποτελέσματα
2
Perry, Simon
2 αποτελέσματα
2
Ada-Europe International Conference on Reliable Software Technologies
1 αποτελέσματα
1
Agha, Gul
1 αποτελέσματα
1
Almeida, José Bacelar
1 αποτελέσματα
1
Baier, Christel
1 αποτελέσματα
1
Barner, Sharon
1 αποτελέσματα
1
Beckert, Bernhard
1 αποτελέσματα
1
Bobaru, Mihaela
1 αποτελέσματα
1
Bochmann, G. V.
1 αποτελέσματα
1
Brownsword, Mike
1 αποτελέσματα
1
Brykczynski, Bill
1 αποτελέσματα
1
CAV (Conference) (4th : 1992 : Montreal, Canada)
1 αποτελέσματα
1
CAV (Conference) (5th : 1993 : Elounda, Greece)
1 αποτελέσματα
1
CAV (Conference) Snowbird, Utah)
1 αποτελέσματα
1
Calinescu, Radu
1 αποτελέσματα
1
Courcoubetis, Costas
1 αποτελέσματα
1
Προβολή όλων…
RESOURCE TYPE
Electronic Resource
28 αποτελέσματα
28
Βιβλίο
15 αποτελέσματα
15
LANGUAGE
English
42 αποτελέσματα
42
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman