Laura Titolo

Laura Titolo

NASA Formal Methods

Lecture Notes in Computer Science, nr. 15682

Editat de Aaron Dutle et al.

8 iun 2025

Preț: 908^.04 lei 1135^.04 lei

38-45 zile

-20%

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science, nr. 14290

Editat de Alessandro Cimatti et al.

17 sep 2023

Preț: 403^.02 lei 503^.77 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science, nr. 16117

Editat de Santiago Escobar et al.

13 sep 2025

Preț: 383^.15 lei 478^.94 lei

38-45 zile

-20%

NASA Formal Methods

Editat de Aaron Dutle et al.

17 mai 2021

Preț: 570^.12 lei 712^.65 lei

6-8 săpt.

-20%