Related Books

PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024
Language: en
Pages: 316

PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024

Authors: Nina Narodytska
Categories: Computers
Type: BOOK - Published: 2024-10-01 - Publisher: TU Wien Academic Press

DOWNLOAD EBOOK

Die Proceedings zur Konferenz „Formal Methods in Computer-Aided Design 2024“ geben aktuelle Einblicke in ein spannendes Forschungsfeld. Zum fünften Mal ers
Computer Aided Verification
Language: en
Pages: 523

Computer Aided Verification

Authors: Arie Gurfinkel
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Computer Aided Verification
Language: en
Pages: 447

Computer Aided Verification

Authors: Arie Gurfinkel
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

AI Verification
Language: en
Pages: 197

AI Verification

Authors: Guy Avni
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 413

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Bernd Finkbeiner
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK