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 26 träffar

Titel Författare År Språk
1 An approach to object-orientation in action systems Marcello M. Bonsangue 1997 Engelska
2 Developing object-based distributed systems Marcello M. Bonsangue 1998 Engelska
3-8 Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures (flera utgåvor) Frank S. Boer 2010 Engelska
9 Formal Methods for Components and Objects Marcello M. Bonsangue Engelska
10 Formal Methods for Components and Objects (vol. # 4111) electronic resource - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures Frank S. de Boer 2006 Engelska
11 Formal Methods for Open Object-Based Distributed Systems electronic resource - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Marcello M. Bonsangue 2007 Engelska
12 Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers Bernhard. Beckert 2013 Engelska
13 Formal Methods for Components and Objects Marcello M. Bonsangue 2012 Okänt
14-15 Formal Methods for Components and Objects (flera utgåvor) Frank S. Boer 2007 Okänt
16 Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers Bernhard K. Aichernig 2012 Engelska
17 Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures Elena. Giachino 2013 Engelska
18 Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers Marcello M. Bonsangue 2014 Engelska
19 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
20 Formal Methods for Components and Objects Bernhard Beckert 2013 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.