Formal methods for performance evaluation

Name: Formal methods for performance evaluation
Author: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)
ISBN: 9783540724827

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)

0.0

Formal methods Verification Integrated circuits

Browse all genres

ISBN: 9783540724827

Formal methods for performance evaluation è un formal methods, verification book di International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy).

Scopri Formal methods for performance evaluation di International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy), formal methods.

Sull'Autore

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy) è l'autore di Formal methods for performance evaluation. Esplora il suo catalogo completo su Booklogr.

Edizioni e Formati

Recensioni

Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.

Accedi Accedi per scrivere una recensione

Domande Frequenti

Di che genere è Formal methods for performance evaluation?+

Formal methods for performance evaluation è un libro di Formal methods, Verification, Integrated circuits.

Chi ha scritto Formal methods for performance evaluation?+

Formal methods for performance evaluation è stato scritto da International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy).