Mattias Ulbrich

Mattias Ulbrich

Deductive Software Verification: Future Perspectives

Lecture Notes in Computer Science, nr. 12345

Editat de Wolfgang Ahrendt et al.

9 dec 2020

Preț: 324^.82 lei 406^.03 lei

6-8 săpt.

-20%

Deductive Software Verification - The KeY Book

Lecture Notes in Computer Science, nr. 10001

Editat de Wolfgang Ahrendt et al.

21 dec 2016

Preț: 755^.93 lei 944^.92 lei

6-8 săpt.

-20%