António Ravara

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?

Behavioural Types: From Theory to Tools

by Simon Gay and António Ravara First published in 2017 — 5 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
Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, and Matthias Weidlich First published in 2016 — 2 editions

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
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

by Marieke Huisman and António Ravara First published in 2023 — 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: OL9452632A

Links outside Open Library

No links yet. Add one?

History

Created September 13, 2021
1 revision

Download catalog record: RDF / JSON

September 13, 2021

Created by ImportBot

import new book

António Ravara

3 works Add another?

Behavioural Types: From Theory to Tools

Create a new list

Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History