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