Data Refinement : Model-Oriented Proof Methods and their Comparison
9780521103503 Cambridge Tracts in Theoretical Computer Science Heftet
18.12.2008
Engelsk
Produseres på bestilling
Bøker for voksne
Produkter
Avansert søk
Før en utgivelse er katalogisert vil den mangle noe metadata, typisk dewey og emne.
Data Refinement : Model-Oriented Proof Methods and their Comparison
9780521641708 Cambridge Tracts in Theoretical Computer Science Innbundet
03.12.1998
Engelsk
Produseres på bestilling
Viser 1-2