Cărți de Sriram Sankaranarayanan

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Lecture Notes in Computer Science, nr. 13994

Editat de Sriram Sankaranarayanan et al.

20 apr 2023

Preț: 313^.99 lei 392^.49 lei

43-57 zile

-20%

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9268

Editat de Sriram Sankaranarayanan et al.

12 aug 2015

Preț: 327^.47 lei 409^.34 lei

43-57 zile

-20%