Filtre: Paperback

Cărți de Alexandra Silva

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 7230

Editat de Robert L. Constable et al.

11 apr 2012

Preț: 324^.99 lei 406^.23 lei

43-57 zile

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 12760

Editat de Alexandra Silva et al.

17 iul 2021

Preț: 328^.74 lei 410^.92 lei

43-57 zile

-20%

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science, nr. 10321

Editat de Ahmed Bouajjani et al.

28 mai 2017

Preț: 320^.14 lei 400^.17 lei

43-57 zile

-20%

Language, Logic, and Computation

Editat de Alexandra Silva et al.

4 iul 2019

Preț: 325^.83 lei 407^.29 lei

43-57 zile

-20%