Studiebog

Concise Guide to Software Verification

- From Model Checking to Annotation Checking

Bog E-bog

Format
Bog, hardback
Engelsk

Indgår i serie
- Texts in Computer Science

Normalpris

kr. 619,95

Medlemspris

kr. 574,95

Du sparer kr. 45,00
Fri fragt

Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 10-03-2026
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal248
Udgivelsesdato25-07-2023
ISBN139783031301667
Forlag Springer International Publishing AG
FormatHardback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Software Logic Verification Number theory Systems modelling Specification System Validation