Cărți de Anna Ingólfsdóttir

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10460

Editat de Luca Aceto et al.

25 iul 2017

Preț: 351^.36 lei 439^.20 lei

6-8 săpt.

-20%

Reactive Systems: Modelling, Specification and Verification

Autor Luca Aceto et al.

8 aug 2007

Preț: 658^.79 lei 823^.48 lei

6-8 săpt.

-20%

Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3921

Editat de Luca Aceto et al.

16 mar 2006

Preț: 340^.82 lei 426^.03 lei

6-8 săpt.

-20%