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 32 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 Arts and Computational Culture : Real and Virtual Worlds Tula. Giannini 2024 Engelska
29 Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday 2023 Okänt
30 High-Integrity System Specification and Design Jonathan P. Bowen 1999 Okänt
31 Industrial-Strength Formal Methods in Practice 1999 Okänt
32 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.