Cărți de Sebastian Wolff

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science, nr. 14500

Editat de Rayna Dimitrova et al.

3 ian 2024

Preț: 489^.83 lei 612^.29 lei

43-57 zile

-20%

Asynchronous variational integration of structural collision dynamics

Autor Sebastian Wolff

7 dec 2011

Preț: 529^.13 lei 575^.14 lei

43-57 zile

-8%