Filtre: Springer

Cărți de Martin Leucker

Model-Based Testing of Reactive Systems

Editat de Manfred Broy et al.

27 iun 2005

Preț: 339^.14 lei 423^.92 lei

6-8 săpt. | 7-13 zile

-20%

Runtime Verification

Editat de Martin Leucker

23 oct 2008

Preț: 316^.06 lei 395^.08 lei

6-8 săpt.

-20%

Formal Methods: Applications and Technology

Editat de Lubos Brim et al.

20 feb 2007

Preț: 325^.06 lei 406^.33 lei

6-8 săpt.

-20%