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 is a formal methods, verification book by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy).

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

About the Author

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy) is the author of Formal methods for performance evaluation. Browse their full catalog on Booklogr.

Editions & Formats

Reviews

No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.

Frequently Asked Questions

What genre is Formal methods for performance evaluation?+

Formal methods for performance evaluation is a Formal methods, Verification, Integrated circuits book.

Who wrote Formal methods for performance evaluation?+

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