Lecture Notes in Computer Science

Filtre: Bernhard Steffen Springer International Publishing AG

Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science, nr. 16040

Editat de Anne Remke et al.

28 aug 2025

Preț: 391^.26 lei 489^.08 lei

6-8 săpt. | 4-10 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%

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science, nr. 16032

Editat de Bernhard Steffen

2 oct 2025

Preț: 282^.94 lei 353^.68 lei

38-44 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Lecture Notes in Computer Science, nr. 12479

Editat de Tiziana Margaria et al.

5 aug 2021

Preț: 333^.98 lei 417^.47 lei

6-8 săpt.

-20%