Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Pedro de Carvalho Gomes 7 träffar

Titel Författare År Språk
1 Provably Correct Control-Flow Graphs from Java Programs with Exceptions Afshin Amighi 2012 Engelska
2 Algorithmic Verification of Synchronization with Condition Variables Pedro de Carvalho Gomes 2015 Engelska
3-4 Automatic Extraction of Program Models for Formal Software Verification (flera utgåvor) Pedro de Carvalho Gomes 2015 Engelska
5 Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems Pedro de Carvalho Gomes 2012 Engelska
6-7 Sound modular extraction of control flow graphs from Java bytecode (flera utgåvor) Pedro de Carvalho Gomes 2012 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.