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: Jean-Raymond Abrial 12 träffar

Titel Författare År Språk
1 The B-book - assigning programs to meanings Jean-Raymond Abrial 1996 Engelska
2-3 Formal methods for industrial applications - specifying and programming the steam boiler control (flera utgåvor) cop. 1996 Engelska
4 Rigorous Methods for Software Construction and Analysis - Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Jean-Raymond. Abrial 2009 Engelska
5-6 Modeling in Event-B - System and Software Engineering (flera utgåvor) Jean-Raymond. Abrial 2010 Engelska
7 Formal Methods for Industrial Applications Jean-Raymond Abrial uuuu-uuuu Okänt
8 Rigorous Methods for Software Construction and Analysis Jean-Raymond Abrial 2009 Okänt
9 B-book : assigning programs to meanings Jean-Raymond Abrial 2005 Okänt
10 Modeling in Event-B : system and software engineering / Jean-Raymond Abrial. electronic resource Jean-Raymond Abrial uuuu-uuuu Okänt
11 The B-book : assigning programs to meanings / J.-R. Abrial. electronic resource Jean-Raymond Abrial uuuu-uuuu Okänt
12 Modeling in event-b : system and software engineering / Jean-Raymond Abrial Jean-Raymond. Abrial uuuu-uuuu Okänt

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.