Detail produktu

Produkt mají v nabídce:

Bookshop

2 644 Kč

Do eshopu

Computer Aided Verification

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.

Podobné produkty

Computer Aided Verification

1 322 Kč

Porovnat nabídky

Computer Aided Verification

1 322 Kč

Porovnat nabídky

Computer Aided Verification

2 644 Kč

Porovnat nabídky

Computer-Aided Verification of Coordinating Processes - Kurshan, Robert P.

3 878 Kč

Porovnat nabídky

Computer-Aided Verification of Coordinating Processes - Kurshan, Robert P.

1 461 Kč

Porovnat nabídky

Verified Software: Theories, Tools and Experiments

1 175 Kč

Porovnat nabídky

Computer-Aided Sculpture - Duncan, J. P. (University of British Columbia, Vancouver) a Law, K. K.

2 531 Kč

Porovnat nabídky

Computer-Aided Qualitative Data Analysis

2 062 Kč

Porovnat nabídky

Integrated Computer-Aided Design in Automotive Development - Mario, Hirz a Dietrich, Wilhelm a Gfrerrer, Anton a Lang, Johann

3 819 Kč

Porovnat nabídky

Computer-Aided Design, Engineering, and Manufacturing

10 781 Kč

Porovnat nabídky

Computer-Aided Design, Engineering, and Manufacturing

16 406 Kč

Porovnat nabídky

Computer-Aided Design, Engineering, and Manufacturing

16 406 Kč

Porovnat nabídky