It looks like you're offline.

Last edited by LC Bot

July 18, 2012 | History

Edit

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)

We need a photo of International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)

1 work Add another?

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

Formal methods for quantitative aspects of programming languages: 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures

by International School on Formal Methods f... First published in 2010 — 1 edition

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

We need a photo of International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7151820A

Links outside Open Library

No links yet. Add one?

History

Created July 18, 2012
1 revision

Download catalog record: RDF / JSON

Created by LC Bot

import new book