Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
Editat de Gerhard Brewka et al.
26 feb 1993
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Cărți de Peter H. Schmitt
Theorie der logischen Programmierung: Eine elementare Einführung
Autor Peter H. Schmitt
11 sep 1992
Paperback
Preț: 345.51 lei 431.89 lei
6-8 săpt.
-20%
Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
Editat de Klaus P. Jantke et al.
18 sep 1991
Paperback
Preț: 318.00 lei 397.50 lei
6-8 săpt.
-20%
Verification of Object-Oriented Software. The KeY Approach
Editat de Bernhard Beckert et al.
3 ian 2007
Paperback
Preț: 641.97 lei 802.46 lei
6-8 săpt.
-20%
Deductive Software Verification - The KeY Book
Editat de Wolfgang Ahrendt et al.
21 dec 2016
Paperback
Preț: 753.58 lei 941.98 lei
6-8 săpt.
-20%