Cărți de Peter H. Schmitt

Deductive Software Verification – The KeY Book: From Theory to Practice

Lecture Notes in Computer Science, nr. 10001

Editat de Wolfgang Ahrendt et al.

21 dec 2016

Preț: 780^.94 lei 976^.17 lei

43-57 zile

-20%

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Lecture Notes in Computer Science, nr. 4334

Editat de Bernhard Beckert et al.

3 ian 2007

Preț: 665^.09 lei 831^.37 lei

43-57 zile

-20%

Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

Lecture Notes in Computer Science, nr. 659

Editat de Gerhard Brewka et al.

26 feb 1993

Preț: 334^.86 lei 418^.57 lei

43-57 zile

-20%

Theorie der logischen Programmierung: Eine elementare Einführung

Springer-Lehrbuch

Autor Peter H. Schmitt

11 sep 1992

Preț: 359^.22 lei 449^.02 lei

43-57 zile

-20%

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

Lecture Notes in Computer Science, nr. 543

Editat de Klaus P. Jantke et al.

18 sep 1991

Preț: 330^.56 lei 413^.21 lei

43-57 zile

-20%