Formal Methods for Quantitative Aspects of Programming Languages

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 ALDINI, Alessandro ; Bernardo, Marco ; Di Pierro, Alessandra ; Wiklicky, Herbert

This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of
€75,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783642136771
Uitgever
Springer-Verlag New York Inc
Druk
1e
Verschenen
01-01-2010
Taal
Engels
Bladzijden
167 pp.
Bindwijze
Paperback
Genre
Informatica

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.
MINDBOOKSATH : athenaeum