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
1 ZUM '95 - the Z formal specification notation : proceedings International Conference of Z Users 1995) Limerick : cop. 1995 Engelska
2 ZUM '97 - the Z formal specification notation International Conference of Z Users 1997 : Reading) cop. 1997 Engelska
3-4 Zum '98 - the formal specification notation : proceedings (flera utgåvor) International Conference of Z Users 1998 : Berlin) cop. 1998 Engelska
5-6 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
7 High-integrity system specification and design Jonathan P. Bowen cop. 1999 Engelska
8 Applications of formal methods cop. 1995 Engelska
9 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
10 ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings 1995 Engelska
11 Formal Methods and Testing - An Outcome of the FORTEST Network, Revised Selected Papers Robert M. Hierons 2008 Engelska
12 Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings David. Hutchison 2008 Engelska
13 Formal Methods: State of the Art and New Directions Paul. Boca 2010 Engelska
14 Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 Engelska
15 Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 Engelska
16 Electronic Visualisation in Arts and Culture Jonathan P. Bowen 2013 Engelska
17 The Turing guide 2017 Engelska
18 Provably Correct Systems 2017 Engelska
19 Zum'98 : the z formal specification notation. - 11th international conference of z users, berlin, germany, september 24-26, 1998 : proceedings International Conference of Z Users 1998 Engelska
20 ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 September 2, 2000 Proceedings Jonathan P. Bowen uuuu-uuuu Okänt

1 2 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.