- 10% rabatt på allt
Formal Methods for Mobile Computing
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
AvAlessandro Bogliolo,Marco Bernardo
E-bok
PDF, Engelska, 2005739 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
573 kr
Del 9700
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
Häftad, 2016
573 kr
Formal Methods for Dynamical Systems
Herbert Wiklicky, Alessandra Di Pierro, Erik de Vink, Marco Bernardo
E-bok
2013638 kr
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Häftad, 2014
573 kr