The spine of software designing provably correct software, theory and practice or a mathematical introduction to the semantics of computer programs

Bibliographische Detailangaben

1. Verfasser:	Baber, Robert Laurence (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Chichester u.a. Wiley 1987
Schlagworte:	Computer systems. Programs. Mathematics > Electronic digital computersProgramming > Electronic data processing++Mathematics
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!