Data Refinement : Model-Oriented Proof Methods and their Comparison
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Bøker
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
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Produseres på bestilling
Viser 1-2