Filtre: Paperback

Cărți de Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science, nr. 15223

Editat de Tiziana Margaria et al.

26 oct 2024

Preț: 334^.32 lei 417^.90 lei

38-44 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science, nr. 15221

Editat de Tiziana Margaria et al.

30 oct 2024

Preț: 465^.30 lei 581^.63 lei

3-5 săpt. | 4-10 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science, nr. 15220

Editat de Tiziana Margaria et al.

27 oct 2024

Preț: 503^.70 lei 629^.63 lei

38-44 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science, nr. 15222

Editat de Tiziana Margaria et al.

26 oct 2024

Preț: 444^.47 lei 555^.59 lei

38-44 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science, nr. 15219

Editat de Tiziana Margaria et al.

9 oct 2024

Preț: 540^.45 lei 675^.56 lei

38-44 zile

-20%

Real Time and Such

Lecture Notes in Computer Science, nr. 15230

Editat de Susanne Graf et al.

5 oct 2024

Preț: 360^.35 lei 450^.44 lei

38-44 zile

-20%