An introduction to programming with specifications - a mathematical approach

Författare
Ryszard Kubiak
(Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Academic Press cop. 1991 Storbritannien, London 267 sidor. tab.
Academic Press c1991 England, London, San Diego 1 online resource (281 sidor.)