Marcello M. Bonsangue

5 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

Showing all works by author. Would you like to see only ebooks?

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2004 — 7 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel

Read None Edit

When did you finish this book? 2025 Today Other

Check-In
×Close

Add an optional check-in date. Check-in dates are used to track yearly reading goals.

End Date: Year: Month: Day: Today
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

by Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2006 — 3 editions

Borrow Listen

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2025 Today Other

Check-In
×Close

Add an optional check-in date. Check-in dates are used to track yearly reading goals.

End Date: Year: Month: Day: Today
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

by Marcello M. Bonsangue First published in 2014 — 2 editions

Locate

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2025 Today Other

Check-In
×Close

Add an optional check-in date. Check-in dates are used to track yearly reading goals.

End Date: Year: Month: Day: Today
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)

by Marcello M. Bonsangue and Einar Broch Johnsen First published in 2007 — 2 editions

Locate

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2025 Today Other

Check-In
×Close

Add an optional check-in date. Check-in dates are used to track yearly reading goals.

End Date: Year: Month: Day: Today
Data Science and Artificial Intelligence: First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

by Chutiporn Anutariya and Marcello M. Bonsangue First published in 2023 — 1 edition

Locate

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2025 Today Other

Check-In
×Close

Add an optional check-in date. Check-in dates are used to track yearly reading goals.

End Date: Year: Month: Day: Today

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7896885A

Links outside Open Library

No links yet. Add one?

History

Created May 17, 2020
1 revision

Download catalog record: RDF / JSON

May 17, 2020

Created by ImportBot

import new book

Marcello M. Bonsangue

5 works Add another?

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

Create a new list

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

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

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)

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

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History