Filtre: Tipărit la comandă

Cărți de Jens Knoop

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Lecture Notes in Computer Science, nr. 1428

Autor Jens Knoop

23 sep 1998

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification, and Validation

Editat de Reiner Hähnle et al.

12 oct 2012

Preț: 319^.96 lei 399^.94 lei

6-8 săpt.

-20%

Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10172

Editat de Jens Knoop et al.

6 mar 2017

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%