Ferruccio Damiani

3 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 Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, and Ina Schaefer First published in 2014 — 2 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? 2024 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
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

by Stefano Berardi, Mario Coppo, and Ferruccio Damiani First published in 2004 — 1 edition

Locate

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 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
Coordination Models and Languages: 23rd IFIP WG 6. 1 International Conference, COORDINATION 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

by Ferruccio Damiani and Ornela Dardha First published in 2021 — 1 edition

Locate

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 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: OL7914571A

Links outside Open Library

No links yet. Add one?

History

Created May 18, 2020
1 revision

Download catalog record: RDF / JSON

May 18, 2020

Created by ImportBot

import new book

Ferruccio Damiani

3 works Add another?

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Create a new list

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Coordination Models and Languages: 23rd IFIP WG 6. 1 International Conference, COORDINATION 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History