Start Over
You searched for: author Bonsangue, Marcello.

Search Results

Cover image for 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

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

Location
Access Content Online
Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Location
Access Content Online
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Location
Access Content Online
Cover image for Formal methods for components and objects

Formal methods for components and objects

Location
Access Content Online
Cover image for Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Location
Access Content Online
Cover image for Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Location
Access Content Online
Cover image for Data Science and Artificial Intelligence Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings

Data Science and Artificial Intelligence Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings

Location
Access Content Online
Cover image for Formal Methods for Components and Objects

Formal Methods for Components and Objects

  • 2011
  • Format: Electronic
Location
Access Content Online
Cover image for Formal methods for open object-based distributed systems

Formal methods for open object-based distributed systems

Location
Access Content Online
Cover image for Automated reasoning

Automated reasoning

Location
Access Content Online