Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming decisions » programming decision, programming design, programming session
decisions arrays » decisions essays, decisions says, decisions barriers
arrays based » array based
1
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen — Sla zoekopdracht op