- 10% rabatt på allt
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, 2010732 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
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2010
571 kr
Computer Performance Engineering
Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
Häftad, 2010
571 kr
Formal Methods for Dynamical Systems
Herbert Wiklicky, Alessandra Di Pierro, Erik de Vink, Marco Bernardo
E-bok
2013638 kr
Computer Performance Engineering
Vittorio Cortellessa, Luciano Bononi, Marco Bernardo, Alessandro Aldini
E-bok
2010739 kr
Process Algebraic Approach to Software Architecture Design
Flavio Corradini, Marco Bernardo, Alessandro Aldini
E-bok
2010739 kr
Formal Methods for Dynamical Systems
Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2013
526 kr
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Inbunden, 2009
572 kr
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Häftad, 2014
571 kr
From Lambda Calculus to Cybersecurity Through Program Analysis
Rajagopal Nagarajan, Pasquale Malacaria, Alessandra Di Pierro
E-bok
2020710 kr