1
יצא לאור 2007
תוכן הענינים: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני