Computer Aided Verification

Computer Aided Verification

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Tác giả khác:	Lahiri
Định dạng:	Điện tử eBook
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing, 2020
Phiên bản:	1
Những chủ đề:	Electronic books
Truy cập trực tuyến:	Full text available on Springer Off-campus access

Những quyển sách tương tự

Computer Aided Verification
Được phát hành: (2020)

Computer Aided Verification
Được phát hành: (2013)

Computer Aided Verification
Được phát hành: (2019)

Computer Aided Verification
Được phát hành: (2019)

Computer Aided Verification
Được phát hành: (2021)

Computer Aided Verification
Được phát hành: (2021)

Computer Aided Verification
Được phát hành: (2022)

Computer Aided Verification
Được phát hành: (2022)

Computer Aided Verification
Được phát hành: (2018)

Computer Aided Verification
Được phát hành: (2018)

Verification and Validation in Scientific Computing
Bằng: William L. Oberkampf, Christopher J. Roy
Được phát hành: (2013)

Runtime Verification
Được phát hành: (2013)

Runtime Verification
Được phát hành: (2013)

Design Verification with e
Bằng: Samir Palnitkar

Computer-Aided Engineering

Computer-Aided Engineering

Computer Aided Surgery

Computer Aided Surgery

Hardware and Software: Verification and Testing
Được phát hành: (2013)

Hardware and Software: Verification and Testing
Được phát hành: (2013)

Automated Technology for Verification and Analysis
Được phát hành: (2013)

Software Testing, Verification and Reliability

Integrated Computer-Aided Engineering

Integrated Computer-Aided Engineering

Integrated Computer-Aided Engineering

Computer-Aided Optical Design

Open Source Software: Quality Verification
Được phát hành: (2013)

Verification, Model Checking, and Abstract Interpretation
Được phát hành: (2013)

Embedded Systems: Design, Analysis and Verification
Được phát hành: (2013)

ASME 2018 Verification and Validation Symposium

ASME 2021 Verification and Validation Symposium

ASME 2019 Verification and Validation Symposium

Proceedings of the symposium on Testing, analysis, and verification

AIDS : the biological basis /
Bằng: Alcamo, I. Edward
Được phát hành: (1996)

AIDS : opposing viewpoints /
Được phát hành: (1992)

Electronic Design, Computer Networks & Automated Verification (EDCAV), International Conference on

Computer-Aided Civil & Infrastructure Engineering

Journal of Computer-Aided Molecular Design

Mathematical Tables and Other Aids to Computation

Formal Methods in Computer Aided Design