Verification, Model Checking, And Abstract Interpretation
Dragoi Cezara Dragoi • Emmi Michael Emmi • Wang Jingbo Wang
899:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 1139:-
- Format: Pocket/Paperback
- ISBN: 9783031249518
- Språk: Engelska
- Utgivningsdatum: 2023-01-17
- Förlag: Springer Nature B.V.