Showing 1 - 1 results of 1 for search 'Baber, Robert Laurence', Forespørselstid: 0.01s Refine Results
  1. 1
    The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /
    Bog
    af Baber, Robert Laurence
    Udgivet 1988
    Føj til favoritter
    Saved in:
Søgeredskaber: ”Modtag RSS Feed – Email denne søgning