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 Bowen 41 träffar

Titel Författare År Språk
1 Turing Guide Jack; Bowen Copeland 2017 Engelska
2 ZUM '95 - the Z formal specification notation : proceedings International Conference of Z Users 1995) Limerick : cop. 1995 Engelska
3 ZUM '97 - the Z formal specification notation International Conference of Z Users 1997 : Reading) cop. 1997 Engelska
4-5 Zum '98 - the formal specification notation : proceedings (flera utgåvor) International Conference of Z Users 1998 : Berlin) cop. 1998 Engelska
6-7 Formal specification and development in Z and B - ZB 2000 : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000. : proceedings (flera utgåvor) International Conference of B and Z Users 2000 : York) cop. 2000 Engelska
8 High-integrity system specification and design Jonathan P. Bowen cop. 1999 Engelska
9 Formal specification and documentation using Z - a case study approach Jonathan Bowen cop. 1996 Engelska
10 Applications of formal methods cop. 1995 Engelska
11 Theories of Programming and Formal Methods electronic resource : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu Jonathan P. Bowen uuuu-uuuu Okänt
12 Towards verified systems cop. 1994 Engelska
13 Digital Technologies and the Museum Experience 2008 Engelska
14 ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings 1995 Engelska
15 Formal Methods and Testing - An Outcome of the FORTEST Network, Revised Selected Papers Robert M. Hierons 2008 Engelska
16 Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings David. Hutchison 2008 Engelska
17 ZUM '97: The Z Formal Specification Notation International Conference of Z Users 1997 Engelska
18 ZUM '95: The Z Formal Specification Notation International Conference of Z Users 1995 Engelska
19 Formal Methods: State of the Art and New Directions Paul. Boca 2010 Engelska
20 Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 Engelska

1 2 3 Nästa sida

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.