Cărți de Andreas Podelski

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Lecture Notes in Computer Science, nr. 7152

Editat de Rajeev Joshi et al.

10 ian 2012

Preț: 336^.21 lei 420^.26 lei

3-5 săpt.

-20%

Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11028

Editat de Andreas Podelski et al.

6 ian 2019

Preț: 339^.80 lei 424^.75 lei

6-8 săpt.

-20%

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11002

Editat de Andreas Podelski

29 aug 2018

Preț: 340^.32 lei 425^.40 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4349

Editat de Byron Cook et al.

3 ian 2007

Preț: 339^.47 lei 424^.34 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Lecture Notes in Computer Science, nr. 2988

Editat de Kurt Jensen et al.

18 mar 2004

Preț: 682^.41 lei 853^.01 lei

6-8 săpt.

-20%

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Lecture Notes in Computer Science, nr. 910

Editat de Andreas Podelski

20 mar 1995

Preț: 334^.53 lei 418^.16 lei

6-8 săpt.

-20%