Finite Model Theory and Its Applications
Autor Erich Grädel et al.
24 apr 2007
Hardback
Preț: 577.52 lei 721.90 lei
6-8 săpt.
-20%
Cărți de Moshe Y Vardi
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Editat de Doron A. Peled et al.
28 oct 2002
Paperback
Preț: 326.68 lei 408.36 lei
6-8 săpt.
-20%
Computer Aided Verification
Editat de Alan J. Hu et al.
3 iun 1998
Paperback
Preț: 637.63 lei 797.04 lei
6-8 săpt.
-20%
Database Theory - ICDT '95
Editat de Georg Gottlob et al.
3 ian 1995
Paperback
Preț: 330.96 lei 413.70 lei
6-8 săpt.
-20%