My Account Log in

1 option

FDL : proceedings of the 2017 Forum on Specification & Design Languages : Verona, Italy, September 18-20 / editor, Franco Fummi ; sponsored by Institute of Electrical and Electronics Engineers.

IEEE Xplore (IEEE/IET Electronic Library - IEL) Available online

View online
Format:
Book
Conference/Event
Contributor:
Fummi, Franco, editor.
Institute of Electrical and Electronics Engineers, sponsoring body.
Conference Name:
FDL (Conference) (2017 : Verona, Italy)
Language:
English
Subjects (All):
Formal methods (Computer science)--Congresses.
Formal methods (Computer science).
Software engineering--Congresses.
Software engineering.
Physical Description:
1 online resource (890 pages)
Place of Publication:
Piscataway, New Jersey : Institute of Electrical and Electronics Engineers, 2017.
Notes:
Description based on: online resource; title from pdf title page (IEEE Xplore, viewed April 22, 2020).
ISBN:
1-5386-4733-8

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account