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: Nils Anders Danielsson 5 träffar

Titel Författare År Språk
1 Functional program correctness through types Nils Anders Danielsson 2007 Engelska
2 PLPV '14 : proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA Nils Anders Danielsson uuuu-uuuu Okänt
3 Precise reasoning about non-strict functional programs - how to chase bottoms, and how to ignore them Nils Anders Danielsson 2005 Engelska
4 Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification Nils Anders Danielsson uuuu-uuuu Okänt
5 Proofs accompanying "Fast and loose reasoning is morally correct" Nils Anders Danielsson 2007 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.