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: Marcello M. Bonsangue
28 träffar
|
Titel |
Författare |
År |
Språk |
21-22 |
Formal Methods for Components and Objects
(flera utgåvor)
|
Frank S. Boer
|
2008 |
Okänt |
23 |
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : Revised Lectures (Lecture notes in computer science, Tutorial 3657)
|
Frank S. de Boer
|
2005 |
Okänt |
24 |
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
|
Elena. Giachino
|
2013 |
Engelska |
25 |
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 56, 2014, Revised Selected Papers
|
Marcello M. Bonsangue
|
2014 |
Okänt |
26-27 |
Formal Methods for Components and Objects
(flera utgåvor)
|
Marcello M. Bonsangue
|
2012 |
Okänt |
28 |
Formal Methods for Open Object-Based Distributed Systems
|
Marcello M. Bonsangue
|
2007 |
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.