Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2010
561 kr
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
AvHerbert Wiklicky,Alessandra Di Pierro
E-bok
PDF, Engelska, 2010708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Computer Performance Engineering
Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
Häftad, 2010
561 kr
Formal Methods for Dynamical Systems
Herbert Wiklicky, Alessandra Di Pierro, Erik de Vink, Marco Bernardo
E-bok
2013611 kr
Computer Performance Engineering
Vittorio Cortellessa, Luciano Bononi, Marco Bernardo, Alessandro Aldini
E-bok
2010708 kr
Process Algebraic Approach to Software Architecture Design
Flavio Corradini, Marco Bernardo, Alessandro Aldini
E-bok
2010714 kr
Formal Methods for Dynamical Systems
Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2013
516 kr
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Inbunden, 2009
561 kr
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Häftad, 2014
561 kr
From Lambda Calculus to Cybersecurity Through Program Analysis
Rajagopal Nagarajan, Pasquale Malacaria, Alessandra Di Pierro
E-bok
2020693 kr