Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
AvAlessandro Cimatti,Marco Bernardo
E-bok
PDF, Engelska, 2006734 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
Guide and Reference to the Amphibians of Eastern and Central North America (North of Mexico)
University Press of Florida
Häftad, 2006
339 kr
Del 9700
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
Häftad, 2016
558 kr
Theory and Applications of Satisfiability Testing -- SAT 2012
Alessandro Cimatti, Roberto Sebastiani
Häftad, 2012
542 kr