<<The>> spine of software designing provably correct software: theory and practice, or, a mathemat. introd. to the semantics of computer programs

Bibliographische Detailangaben

1. Verfasser:	Baber, Robert Laurence (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Chichester u.a. Wiley 1987
Schlagworte:	Software Engineering > Programmverifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!