Maurice H. Ter Beek

Filtre:

Maurice H. Ter Beek

Formal Methods: Foundations and Applications

Editat de Maurice H. Ter Beek et al.

27 noi 2025

Preț: 390^.21 lei 487^.76 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Editat de Maurice H. Ter Beek et al.

16 noi 2025

Preț: 394^.65 lei 493^.32 lei

6-8 săpt.

-20%

Integrated Formal Methods

Lecture Notes in Computer Science, nr. 13274

Editat de Maurice H. Ter Beek et al.

iun 2022

Preț: 476^.28 lei 595^.35 lei

3-5 săpt. | 7-13 zile

-20%

Coordination Models and Languages

Lecture Notes in Computer Science, nr. 13271

Editat de Maurice H. Ter Beek et al.

6 iul 2022

Preț: 760^.78 lei 950^.98 lei

6-8 săpt.

-20%

Critical Systems: Formal Methods and Automated Verification

Lecture Notes in Computer Science, nr. 9933

Editat de Maurice H. Ter Beek et al.

14 sep 2016

Preț: 333^.13 lei 416^.42 lei

6-8 săpt.

-20%

Architecting Dependable Systems VI

Editat de Rogério de Lemos et al.

2 noi 2009

Preț: 337^.58 lei 421^.98 lei

6-8 săpt.

-20%