Formal Methods for Quantitative Aspects of Programming Languages

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)

Springer Nature

AbeBooks Used Best €39.94 Springer Nature Link Shop New €49.99 AbeBooks New €68.93

There is currently no description available

Other editions

Formal Methods for Quantitative Aspects of Programming Languages Springer Nature €42.79

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

Open in the buono app Get it on the App Store

buono · Browse the lists