Soggetti all'interno della tua ricerca.
Cerca anche:
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
arrays via » arrays a
1
Copertina
Pubblicazione 2007
Sommario: “... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca