Filtre: Martin Leucker

Cărți editura Springer

Theoretical Aspects of Computing - ICTAC 2009

Editat de Martin Leucker et al.

29 iul 2009

Preț: 338^.85 lei 423^.56 lei

6-8 săpt.

-20%

Model-Based Testing of Reactive Systems

Editat de Manfred Broy et al.

27 iun 2005

Preț: 353^.77 lei 442^.21 lei

6-8 săpt. | 4-10 zile

-20%

Runtime Verification

Editat de Martin Leucker

23 oct 2008

Preț: 329^.69 lei 412^.12 lei

6-8 săpt.

-20%

Formal Methods: Applications and Technology

Editat de Lubos Brim et al.

20 feb 2007

Preț: 339^.07 lei 423^.84 lei

6-8 săpt.

-20%

Runtime Verification

Lecture Notes in Computer Science, nr. 11237

Editat de Christian Colombo et al.

8 noi 2018

Preț: 516^.06 lei 645^.08 lei

6-8 săpt.

-20%