Deductive Software Verification – The KeY Book
From Theory to Practice
Bog, Paperback, Engelsk, 2016
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO944,95 kr.Gratis fragtUkendtKøb for 944,95 kr.Køb
- Bogreolen1.097,95 kr.0,00 kr.2-4 ugerKøb for 1.097,95 kr.Køb
- Tales1.098,95 kr.34,95 kr.2-4 ugerKøb for 1.098,95 kr.Køb
- Pling BØGER1.098,95 kr.34,95 kr.2-4 ugerKøb for 1.098,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingPaperback
- ISBN9783319498119
- Udgivet21/12/2016
- Udgivet afSpringer International Publishing AG
- Længde702 sider
- GenreBusiness og læring, Computer og IT