Formal Methods for the Design of Real-Time Systems
Marco Bernardo, Flavio Corradini
Häftad, 2004
565 kr
Formal Methods for the Design of Real-Time Systems
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
AvFlavio Corradini,Marco Bernardo
E-bok
PDF, Engelska, 2004708 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
Process Algebraic Approach to Software Architecture Design
Flavio Corradini, Marco Bernardo, Alessandro Aldini
E-bok
2010714 kr
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Inbunden, 2009
565 kr
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Häftad, 2014
565 kr
Del 11665
Models, Languages, and Tools for Concurrent and Distributed Programming
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
Häftad, 2019
565 kr
Del 9700
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
Häftad, 2016
566 kr
Models, Languages, and Tools for Concurrent and Distributed Programming
Rosario Pugliese, Michele Loreti, Flavio Corradini, Michele Boreale
E-bok
2019708 kr