Cover of Alessandro Aldini (EDT), Marco Bernardo (EDT), Alessandra Di Pierro (EDT), Herbert Wiklicky (EDT): Formal Methods for Quantitative Aspects of Programming Languages

Alessandro Aldini (EDT), Marco Bernardo (EDT), Alessandra Di Pierro (EDT), Herbert Wiklicky (EDT) 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, 2010, Advanced Lectures

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2010

Formats: PDF
How do I buy e-book?

EAN/ISBN13: 978-3-642-13678-8

ISBN10: 3-642-13678-8

Ask question

You can ask us about this book and we'll send an answer to your e-mail.

Alessandro Aldini (EDT), Marco Bernardo (EDT), Alessandra Di Pierro (EDT), Herbert Wiklicky (EDT) Formal Methods for Quantitative Aspects of Programming Languages

E-Book information

Related links

Ask question