It looks like you're offline.

Last edited by ImportBot

May 18, 2020 | History

Edit

Reiner Haehnle

We need a photo of Reiner Haehnle

1 work Add another?

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

Not in Library

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

We need a photo of Reiner Haehnle

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7914572A

Links outside Open Library

No links yet. Add one?

History

Created May 18, 2020
1 revision

Download catalog record: RDF / JSON

Created by ImportBot

import new book