Home Page
Authors
Authors
F. Laroussinie - books and biography
F. Laroussinie - books and biography
1 product
1 product
Paper book «Systems and Software Verification: Model-Checking Techniques and Tools», authors A. Finkel, A. Petit, B. Berard, F. Laroussinie, L. Petrucci, M. Bidoit, P. Schnoebelen – фото №1
0
0
Systems and Software Verification: Model-Checking Techniques and Tools
A. Finkel A. Finkel, A. Petit, B. Berard, F. Laroussinie, L. Petrucci, M. Bidoit, P. Schnoebelen
Not available
0-800-335-425
Free of charge within Ukraine
7 days a week, 09:00-20:00
Mobile application
Read and listen to books in the largest library of eBooks and audiobooks from top Ukrainian and world authors
Yakaboo
Information
© Yakaboo 2004-2026. All rights reserved