Övrigt, Engelska, 2023
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Av Marieke Huisman, Anton Wijs
667 kr
Skickas inom 5-8 vardagar
Beskrivning
Produktinformation
- Utgivningsdatum: 2023-07-25
- Format: Övrigt
- Språk: Engelska
- Antal sidor: 260
- Förlag: Springer
- ISBN: 9783031301681
Utforska kategorier
- Inga kategorier tillgängliga.
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.