Výsledky hledání pro autora

1

Obálka

Computer aided verification : 16th International Conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings /

Vydáno 2004

“...International Conference on Computer-Aided Verification Boston, Massachusetts)...”

Kniha

2

Obálka

Computer aided verification : 14th International Conference, CAV 2002 : Copenhagen, Denmark, July 27-31, 2002 : proceedings /

Vydáno 2002

“...International Conference on Computer-Aided Verification Kodaň, Dánsko)...”

Kniha

3

Obálka

Computer aided verification : 20th International Conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings /

Vydáno 2008

“...International Conference on Computer-Aided Verification Princeton, New Jersey)...”

Kniha

4

Obálka

Computer Aided Verification : 8th International Conference, CAV '96 : New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /

Vydáno 1996

“...International Conference on Computer-Aided Verification New Brunswick, New York)...”

Kniha

5

Obálka

ITP 2010 IJCAR 2010.^^CAV 2010.^^SAT 2010 : international conferences, Edinbourgh, UK, July 11-19, 2010 : proceedings.^^Time for verification : essays in memory of Amir Pnueli

Vydáno 2010

“...Computer Aided Verification...”

Kniha