Logik und ihre Anwendungen umschreiben: 15th International Workshop, WRLA 2024, Lu
95,28 €
The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. - Regular Papers. - Verifying Invariants by Deductive Model Checking. - Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude.
Jetzt bei Ebay:
