Data refinement model-oriented proof methods and their comparison

By: de Roever, Willem-Paul | Engelhardt, KaiMaterial type: TextTextSeries: Cambridge tracts in theoretical computer science; 47Publication details: Cambridge ; Cambridge University Press ; 1998Description: xi, 423 pISBN: 0521641705Subject(s): Computer simulation. Data structures (Computer science) Computer programs Verification
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha