Výsledky vyhledávání - "computer programs"

Preferované termíny:

Alternativní vyhledávání:
"computer programs" » "computer program"

1

Obálka

Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005 : Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussionns /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

2

Obálka

Verified software: theories, tools, experiments : second International Conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

3

Obálka

Compiler Construction : 17th International Conference, CC 2008 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 : Budapest, Hungary, March 29 - April 6, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

4

Obálka

Types for proofs and programs International Workshop, TYPES 2006 : Nottingham, UK, April 18-21, 2006 : revised selected papers /

Vydáno 2007

Témata: '; “...computer programs...”

Kniha

5

Obálka

Types for proofs and programs : International Conference, TYPES 2007 : Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

6

Obálka

Mathematics of program construction : 9th International Conference, MPC 2008: Marseille, France, July 15-18, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha