প্রদর্শন
41 - 44
ফলাফল এর
44
অনুসন্ধানের জন্য '
"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 - 44
ফলাফল এর
44
অনুসন্ধানের জন্য '
"Computer software Verification"
'
, জিজ্ঞাসা করার সময়: 0.02সেকেন্ড
ফলাফল পরিমার্জন করুন
শ্রেণী করন
প্রাসঙ্গিকতা
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
গ্রন্থসম্ভারে রাখুন
গ্রন্থসম্ভার থেকে মুছুন
প্রদর্শিত প্রলেখ সংখ্যা 44
44
Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness
অনুযায়ী
Asoy, Andrei Luz B.
ডাক সংখ্যা:
loading...
অবস্থিত:
loading...
গবেষণাপত্র
loading...
গ্রন্থসম্ভারে রাখুন
গ্রন্থসম্ভার থেকে মুছুন
Select Page
ই-মেইল
রপ্তানি করুন
মুদ্রণ
গ্রন্থসম্ভারে রাখুন
[1]
প্রাকদর্শন
1
2
3
4
5
অনুসন্ধান সাধনীগুলি:
এই ই-মেইলটি অনুসন্ধান করুন
পেছনে
ফলাফল পরিমার্জন করুন
একটি ফিল্টার নির্বাচিত হলে বা বাদ দিলে পৃষ্ঠাটি পুনরায় লোড হবে।
CAMPUS
Diliman
41 ফলাফল
41
Baguio
2 ফলাফল
2
Tacloban
1 ফলাফল
1
DATABASE
Union Catalog (Buklod)
44 ফলাফল
44
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
UP Tacloban Library
1 ফলাফল
1
YEAR OF PUBLICATION
থেকে:
অবধি:
CLASSIFICATION
Q - বিজ্ঞান
14 ফলাফল
14
L - শিক্ষা বিদ্যা
1 ফলাফল
1
M - সংগীত
1 ফলাফল
1
T - প্রযুক্তি বিদ্যা
1 ফলাফল
1
SUBJECT
Computer software
44 ফলাফল
44
Verification
43 ফলাফল
43
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
Asoy, Andrei Luz B.
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
সবগুলি দেখুন…
RESOURCE TYPE
Electronic Resource
28 ফলাফল
28
গ্রন্থ
15 ফলাফল
15
গবেষণাপত্র
1 ফলাফল
1
LANGUAGE
English
43 ফলাফল
43
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman