Priporočene teme znotraj vašega iskanja.
Poišči alternative:
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
programming service » programming series, programme service, programming semantics
arrays via » arrays a
1
Slika na naslovnici
Izdano 2007
Kazalo: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
Polni tekst
Elektronski eKnjiga
Dodaj v priljubljene
Shranjeno v:
Iskalna orodja: RSS — Pošljite iskanje po emailu — Shrani iskanje