Cărți de Martin Leucker

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5684

Editat de Martin Leucker et al.

29 iul 2009

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

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. | 6-12 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%

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14000

Editat de Marsha Chechik et al.

3 mar 2023

Preț: 638^.44 lei 798^.05 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9399

Editat de Martin Leucker et al.

25 dec 2015

Preț: 336^.23 lei 420^.29 lei

6-8 săpt.

-20%

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 13065

Editat de Ezio Bartocci et al.

28 sep 2021

Preț: 342^.96 lei 428^.69 lei

6-8 săpt.

-20%

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11237

Editat de Christian Colombo et al.

8 noi 2018

Preț: 492^.67 lei 615^.84 lei

6-8 săpt.

-20%