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: International Conference on the Mathematics of Program Construction 7 träffar

Titel Författare År Språk
1 Mathematics of Program Construction electronic resource : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring France) 2008 : (9th International Conference on the Mathematics of Program Construction Marseille uuuu-uuuu Okänt
2 Mathematics of Program Construction electronic resource : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / edited by Johan Jeuring International Conference on the Mathematics of Program Construction uuuu-uuuu Okänt
3-4 Mathematics of Program Construction (flera utgåvor) International Conference on the Mathematics of Program Construction 2000 Engelska
5-6 Mathematics of program construction - 6th international conference, MPC 2002, Dagstuhl Castle, Germany, Julu 8-10, 2002 : proceedings (flera utgåvor) International Conference on the Mathematics of Program Construction 2002) Dagstuhl : cop. 2002 Engelska
7 Mathematics of program construction cop. 1993 Engelska

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.