|
Introduction to the theory of complexity
|
Bovet, Daniel Pierre
|
Nueva York
|
(c1994)
|
|
Verification of sequential and concurrent programs
|
Apt, Krsysztof R.
|
Nueva York
|
2nd ed.
(c1997)
|
|
Computational complexity
|
Papadimitriou, Christos H.
|
Reading
|
Repr. with corr.
(1995)
|
|
Introduction to automata theory, languages, and computation
|
Hopcroft, John E.
|
Reading
|
1a ed.
(1979)
|
|
Logic in computer science
|
Huth, Michael
|
Inglaterra
|
2nd ed.
(2004)
|
|
Program verification
|
Francez, Nissim
|
Cambridge
|
(1992)
|
|
Temporal verification of reactive systems
|
Manna, Zohar
|
Nueva York
|
1a. ed.
(1995)
|
|
The temporal logic of reactive and concurrent systems
|
Manna, Zohar
|
Nueva York
|
1st ed.
(1991)
|
|
Computational complexity
|
Arora, Sanjeev
|
Nueva York
|
(2009)
|
|
Computational complexity
|
Goldreich, Oded
|
Cambridge
|
1st ed.
(2008)
|