Formal methods for quantitative aspects of programming languages

Loading edition detail...

Preparing this view.

Formal methods for quantitative aspects of programming languages

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

Bookitis Pick

Cover for Formal methods for quantitative aspects of programming languages

Image source: Open Library

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

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer
Pages	167
Search language	english
ISBN_10	3-642-13677-X primary
ISBN_13	978-3-642-13677-1 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.