Hoppa till sidans huvudinnehåll

Marcello Bonsangue – författare

Visar alla böcker från författaren Marcello Bonsangue.
5 produkter
Del 9660 - Lecture Notes in Computer Science

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

AvErika Ábrahám,Marcello Bonsanguem. fl.

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

AvFrank de Boer,Marcello Bonsanguem. fl.

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

AvFrank S.de Boer,Marcello Bonsanguem. fl.

Häftad, Engelska, 2003

719 kr

Skickas inom 10-15 vardagar

Data Science and Artificial Intelligence

Third International Conference, DSAI 2025, Peradeniya, Sri Lanka, November 19–21, 2025, Proceedings

AvChutiporn Anutariya,Marcello Bonsanguem. fl.

Häftad, Engelska, 2025

1 079 kr

Skickas inom 10-15 vardagar

  • Nyhet

Artificial Intelligence Logic and Applications

5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings

AvMarcello Bonsangue,Yixiang Chen

Häftad, Engelska, 2026

1 079 kr

Skickas inom 10-15 vardagar