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: Jonathan P. Bowen 31 träffar

Titel Författare År Språk
21 Museums and Digital Culture - New Perspectives and Research 2019 Engelska
22 Formal Methods and Testing Robert M. Hierons 2008 Okänt
23 ZUM '97: The Z Formal Specification Notation : 10th International Conference of Z Users Reading, UK, April 34, 1997 Proceedings Jonathan P. Bowen uuuu-uuuu Okänt
24 Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings Egon Börger 2008 Okänt
25 Provably Correct Systems 2017 Okänt
26 Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday Jonathan P. Bowen 2023 Engelska
27 Engineering Trustworthy Software Systems 2017 Okänt
28 Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday 2023 Okänt
29 High-Integrity System Specification and Design Jonathan P. Bowen 1999 Okänt
30 Industrial-Strength Formal Methods in Practice 1999 Okänt
31 Unifying Theories of Programming 2017 Okänt

Förra sidan 1 2

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.