Cărți de Corina S. Pasareanu

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ț: 342^.28 lei 427^.85 lei

6-8 săpt.

-20%

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7684

Editat de Corina S. Pasareanu et al.

9 ian 2013

Preț: 428^.88 lei 536^.10 lei

6-8 săpt.

-20%

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ț: 334^.53 lei 418^.16 lei

6-8 săpt.

-20%