Filtre: Paperback

Cărți de Peter H. Schmitt

Nonmonotonic and Inductive Logic

Editat de Gerhard Brewka et al.

26 feb 1993

Preț: 324^.61 lei 405^.76 lei

43-57 zile

-20%

Nonmonotonic and Inductive Logic

Editat de Klaus P. Jantke et al.

18 sep 1991

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

43-57 zile

-20%

Theorie der logischen Programmierung: Eine elementare Einführung

Springer-Lehrbuch

Autor Peter H. Schmitt

11 sep 1992

Preț: 345^.51 lei 431^.89 lei

43-57 zile

-20%

Verification of Object-Oriented Software. The KeY Approach

Editat de Bernhard Beckert et al.

3 ian 2007

Preț: 643^.97 lei 804^.96 lei

43-57 zile

-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

43-57 zile

-20%