Hoppa till sidans huvudinnehåll

Marcello M. Bonsangue – författare

Visar alla böcker från författaren Marcello M. Bonsangue.
15 produkter
Chutiporn Anutariya, Marcello M. Bonsangue - Theoretical Aspects of Computing – ICTAC 2024, Häftad
Del 15373 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2024

21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings

AvChutiporn Anutariya,Marcello M. Bonsangue

Häftad, Engelska, 2024

1 089 kr

Skickas inom 5-8 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

AvFrank S. de Boer,Marcello M. Bonsanguem. fl.

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

AvFrank S. de Boer,Marcello M. Bonsanguem. fl.

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

AvFrank S. de Boer,Marcello M. Bonsanguem. fl.

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Marcello M. Bonsangue, Einar Broch Johnsen - Formal Methods for Open Object-Based Distributed Systems, Häftad

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

AvMarcello M. Bonsangue,Einar Broch Johnsen

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

AvFrank S. de Boer,Marcello M. Bonsanguem. fl.

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

AvMarcello M. Bonsangue,Susanne Grafm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Marcello M. Bonsangue, Eric Madelaine - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

AvMarcello M. Bonsangue,Eric Madelaine

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

AvFrank S. de Boer,Marcello M. Bonsanguem. fl.

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

AvBernhard K. Aichernig,Frank S. de Boerm. fl.

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

AvBernhard Beckert,Ferruccio Damianim. fl.

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

AvElena Giachino,Reiner Hähnlem. fl.

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar

Marcello M. Bonsangue - Coalgebraic Methods in Computer Science, Häftad

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

AvMarcello M. Bonsangue

Häftad, Engelska, 2014

679 kr

Skickas inom 10-15 vardagar

Chutiporn Anutariya, Marcello M. Bonsangue, Erna Budhiarti-Nababan, Opim Salim Sitompul - Data Science and Artificial Intelligence, Häftad

Data Science and Artificial Intelligence

Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings

AvChutiporn Anutariya,Marcello M. Bonsanguem. fl.

Häftad, Engelska, 2024

1 159 kr

Skickas inom 10-15 vardagar

Chutiporn Anutariya, Marcello M. Bonsangue - Data Science and Artificial Intelligence, Häftad

Data Science and Artificial Intelligence

First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings

AvChutiporn Anutariya,Marcello M. Bonsangue

Häftad, Engelska, 2023

1 739 kr

Skickas inom 10-15 vardagar