Cărți de Moshe Y Vardi

Finite Model Theory and Its Applications

Texts in Theoretical Computer Science. An EATCS Series

Autor Erich Grädel et al.

24 apr 2007

Preț: 606^.03 lei 757^.53 lei

6-8 săpt.

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Editat de Doron A. Peled et al.

28 oct 2002

Preț: 339^.73 lei 424^.66 lei

6-8 săpt.

-20%

Computer Aided Verification

Editat de Alan J. Hu et al.

3 iun 1998

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

Preț: 330^.96 lei 413^.70 lei

6-8 săpt.

-20%