Hoppa till sidans huvudinnehåll

Marcello Bonsangue – författare

Visar alla böcker från författaren .
5 produkter
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen - Theory and Practice of Formal Methods, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Frank de Boer, Marcello Bonsangue, Jan Rutten - It's All About Coordination, Häftad

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

729 kr

Skickas inom 10-15 vardagar

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

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

729 kr

Skickas inom 10-15 vardagar

Chutiporn Anutariya, Marcello Bonsangue, Amalka Pinidiyaarachchi, Hakim Usoof - Data Science and Artificial Intelligence, Häftad

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
Marcello Bonsangue, Yixiang Chen - Artificial Intelligence Logic and Applications, Häftad

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