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

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

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

Keine Ergebnisse!