Filtre: Springer

Cărți de Grigore Rosu

Formal Approaches to Software Testing and Runtime Verification

Editat de Klaus Havelund et al.

7 dec 2006

Preț: 318^.99 lei 398^.73 lei

6-8 săpt.

-20%

Model Checking Software

Lecture Notes in Computer Science, nr. 13255

Editat de Owolabi Legunsen et al.

23 aug 2022

Preț: 641^.92 lei 802^.41 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Systems

Editat de Holger Giese et al.

31 mai 2012

Preț: 334^.19 lei 417^.74 lei

6-8 săpt.

-20%