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

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

Gespeichert in:
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!

Keine Ergebnisse!