Cărți de Marsha Chechik

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5503

Editat de Marsha Chechik et al.

9 mar 2009

Preț: 331^.62 lei 414^.53 lei

6-8 săpt.

-20%

CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5201

Editat de Franck van Breugel et al.

30 iul 2008

Preț: 333^.68 lei 417^.09 lei

6-8 săpt.

-20%

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9971

Editat de Sandrine Blazy et al.

8 noi 2016

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9636

Editat de Marsha Chechik et al.

9 apr 2016

Preț: 352^.24 lei 440^.29 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%