語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
跳至 :
概要
書目資訊
主題
Computer software - Verification.
概要
作品:
15 作品在 15 項出版品 15 種語言
書目資訊
Software verification and analysis = an integrated, hands-on approach /
by:
(書目-電子資源)
Principles of model checking
by:
(書目-電子資源)
Data flow analysis = theory and practice /
by:
(書目-電子資源)
Verification, validation and testing in software engineering
by:
(書目-電子資源)
Test pattern generation using boolean proof engines
by:
(書目-電子資源)
Verification of infinite-state systems with applications to security
by:
(書目-電子資源)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(書目-電子資源)
Principles of the Spin model checker
by:
(書目-電子資源)
Rigorous software development = an introduction to program verification /
by:
(書目-電子資源)
Debugging at the electronic system level
by:
(書目-電子資源)
Verification and validation in systems engineering = assessing UML/SysML design models /
by:
(書目-電子資源)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-電子資源)
Time for verification = essays in memory of Amir Pnueli /
by:
(書目-電子資源)
Specification and verification of multi-agent systems
by:
(書目-電子資源)
Verification of sequential and concurrent programs
by:
(書目-電子資源)
更多
較少的
主題
Electronics and Microelectronics, Instrumentation.
Data flow computing.
Formal methods (Computer science)
Multiagent systems.
Computer software- Validation.
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Software engineering.
Algebra, Boolean.
Theory of Computation.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Debugging in computer science.
Computer simulation.
Management of Computing and Information Systems.
Computer security
Artificial Intelligence (incl. Robotics)
Computer systems- Verification.
Rewriting systems (Computer science)
System theory- Mathematical models
Computer hardware description languages.
Computer software- Development.
Engineering.
System theory- Security measures
Computer algorithms.
Computing Methodologies.
Integrated circuits- Verification.
Computer software- Verification.
Compilers (Computer programs)
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Computation by Abstract Devices.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Circuits and Systems.
Algorithm Analysis and Problem Complexity.
SPIN (Computer file)
Operating Systems.
Computer software- Testing.
Systems engineering.
System Performance and Evaluation.
Multitasking (Computer science)
Computer Science.
處理中
...
變更密碼
登入