Home > Authors > Leila Ribeiro > Formal Methods : Foundations and Applications

Formal Methods : Foundations and Applications

Leila Ribeiro, Thierry Lecomte

Recent activity

Rate this book to see your activity here.

1 Book Similar to Formal Methods : Foundations and Applications by Leila Ribeiro

Bookscovery readers who liked Formal Methods : Foundations and Applications also like Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. How many of these have you read?

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification by Thierry Lecomte

Cover of Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Formal Methods : Foundations and Applications

Please sign in to leave a comment