Bokus
Herbert Wiklicky, Alessandra Di Pierro, Marco Bernardo, Alessandro Aldini - Formal Methods for Quantitative Aspects of Programming Languages, E-bok

E-bok, Engelska, 2010

Formal Methods for Quantitative Aspects of Programming Languages

Av Herbert Wiklicky, Alessandra Di Pierro, Marco Bernardo, Alessandro Aldini

755 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning
Produktinformation
  • Utgivningsdatum: 2010-06-26
  • Språk: Engelska
  • Filformat: PDF
  • Kopieringsskydd: LCP
  • ISBN: 9783642136788
  • Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.