Foreslåede emner i din søgning.
Søg alternativer:
projects developing » aspects developing
developing computer » development computer, developing competent, developing complex
computer https » computers https, computing https, computer arts
java projects » java project, java prospects, aa projects
integer java » integer data, integer base, integer dea
1
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning