Filters

Without active Javascript, there may be problems with the display. Therefore, please activate your Javascript.

Search Results "Verification By Model Checking" - all Bücher

We could not find any exact matches to your search for "verification by model checking". Maybe these items match your search.

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

deliverable within 2-3 weeks

Buch

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

deliverable within 2-3 weeks

Buch

Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.

Released
- Vor 2 bis 4 Monaten (2)
Unavailable Articles
- Show unavailable products, too
Legend
- Audio samples available
- Previewtrailer or video available