يعرض
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
हिंदी
كل الحقول
العنوان
المؤلف
الموضوع
رقم الاستدعاء
ردمك/تدمد
ابحث
بحث متقدم
نتائج البحث - "Computer software Verification."
يعرض
41 - 43
نتائج من
43
نتيجة بحث عن '
"Computer software Verification."
'
, وقت الاستعلام: 0.02s
تنقيح النتائج
فرز بـ
الصلة
Newest to Oldest
Oldest to Newest
المؤلف
العنوان
Select Page
البريد الالكتروني
تصدير
طباعة
أضف إلى سلة الكتب
تحديد النتيجة رقم 41
41
Program verification
حسب
Francez, Nissim
منشور في 1992
رقم الاستدعاء:
loading...
المكان:
loading...
كتاب
loading...
أضف إلى سلة الكتب
حذف من سلة الكتب
تحديد النتيجة رقم 42
42
Independent verification and validation a life cycle engineering process for quality software
حسب
Lewis, Robert O. 1938-
منشور في 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
البريد الالكتروني
تصدير
طباعة
أضف إلى سلة الكتب
[1]
السابق
1
2
3
4
5
أدوات البحث:
أرسل هذا البحث بالبريد الإلكتروني
رجوع
تنقيح النتائج
ستتم إعادة تحميل الصفحة عند تحديد منقح أو استبعاده.
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