登入

跳至 : 概要書目資訊主題

Computer software - Verification.

概要

作品:	40 作品在 21 項出版品 21 種語言

書目資訊

Co-verification of hardware and software for ARM SoC design by: (書目-語言資料,印刷品)

Principles of the Spin model checker by: (書目-語言資料,印刷品)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

Principles of model checking by: (書目-語言資料,印刷品)

Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday / by: (書目-語言資料,印刷品)

Software verification and analysis = an integrated, hands-on approach / by: (書目-語言資料,印刷品)

Test pattern generation using boolean proof engines by: (書目-語言資料,印刷品)

Modular compiler verification = a refinement-algebraic approach advocating stepwise abstraction / by: (書目-語言資料,印刷品)

Time for verification = essays in memory of Amir Pnueli / by: (書目-語言資料,印刷品)

Debugging at the electronic system level by: (書目-語言資料,印刷品)

主題

Systems on a chip.

Theory of Computation.

Rewriting systems (Computer science)

Mathematical Logic and Formal Languages.

Software Engineering.

Computer algorithms.

Computing Methodologies.

Nondestructive testing.

Computer Science, general.

Computer logic.

UML (Computer science)

Computer security.

Mathematical Logic and Foundations.

Communications Engineering, Networks.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Compilers (Computer programs)

Mathematics of Computing.

Logic, Symbolic and mathematical.

Programming Language.

Data and Information Security.

SPIN (Computer file)

Operating Systems.

Programming Techniques.

Computer simulation.

Multitasking (Computer science)

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Algebra, Boolean.

Electronics and Microelectronics, Instrumentation.

Computation by Abstract Devices.

Debugging in computer science.

Management of Computing and Information Systems.

Application software- Development.

Mathematical Applications in Computer Science.

Java (Computer program language)

Computer systems- Verification

SIMULINK.

Electronic systems.

Information Systems Applications (incl. Internet)

Control Structures and Microprogramming.

Software Testing.

Computer software- Verification.

Integrated circuits- Verification.

Programming Languages, Compilers, Interpreters.

Software engineering.

Processor Architectures.

Computer software- Development.

Formal methods (Computer science)

Algorithms.

Programming languages (Electronic computers)

Object-oriented methods (Computer science)

Special Purpose and Application-Based Systems.

Circuits and Systems.

Systems engineering.

Systems engineering- Data processing.

Models and Principles.

Microsoft.

Computational Number Theory.

Computer software- Validation.

Web applications.

Stateflow.

Embedded computer systems.

The Computing Profession.

Artificial Intelligence.

Computer Science.

Computer systems- Verification.

Computer hardware description languages.

Engineering.

System Performance and Evaluation.

Computer Hardware.

Computer software- Verification

Simulation and Modeling.

Computer science.

Systems and Data Security.

Larsen, K. G.

Parallel processing (Electronic computers)

Computer Systems Organization and Communication Networks.

Computer programming.

Symbolic and Algebraic Manipulation.

Multiagent systems.

Data flow computing.

Gradle (Computer file)

Artificial intelligence.

Electronic Circuits and Devices.

Internet of Things.