.245
a	Verification and validation of real-time software
h	Buku-Bacaan Pendukung
.100
a	ed by W.J.Quirk
.005
a	20170104131019
.260
a	Berlin, Heidelberg
b	Springer Verlag
c	1985
.041
a	Inggris
.084
a	005.14 VER
.336
a	Buku-Bacaan Pendukung