Cărți de Corina S. Pasareanu

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5578

Editat de Corina S. Pasareanu

19 iun 2009

Preț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Formal Aspects of Component Software

Lecture Notes in Computer Science

Editat de Corina S. Pasareanu et al.

9 ian 2013

Preț: 413^.60 lei 516^.99 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13572

Editat de Helmut Seidl et al.

3 oct 2022

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%