Logo Regione Toscana

biblio toscana
Cerca

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 1-20 di 97

testo

Formal approaches to software testing

third international workshop on formal approaches to testing of software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers

  • International workshop on formal approaches to testing of software 3. Montreal, Quebec, Canada 2003
testo

Computer aided verification

15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

  • International conference on computer aided verification 15. Boulder, CO, USA 2003
testo

Computer aided verification

17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

  • International conference on computer aided verification 17. Edinburgo, Scozia 2005
testo

Formal description of programming concepts - II

proceedings of the IFIP Working conference on formal description of programming concepts, II : Garmisch-Partenkirchen, FRG, 1-4 June 1982

  • Working conference on formal description of programming concepts 2. Garmisch-Partenkirchen 1982
testo

Logic in computer science [+]

modelling and reasoning about systems

  • Huth, Michael
testo

Inside C#

  • Archer, Tom
testo

Matematica sperimentale per unita' didattiche

principi di programmazione per l'uso del calcolatore

  • Battelli, Mario
testo

Term rewriting and applications

16th international conference, RTA 2005, Nara, Japan, April 2005 : proceedings

  • International conference on rewriting techniques and applications 16. Nara, Japan 2005
testo

Computability, complexity, and languages

fundamentals of theoretical computer science

  • Davis, Martin D.
testo

Rewriting techniques and applications

14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

  • International conference on rewriting techniques and applications 14. Valencia, Spain 2003
testo

Formal approaches to software testing

4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

  • International workshop on formal approaches to software testing 4. Linz, Austria 2004
testo

Grammatical inference

algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings

  • International colloquium on grammatical inference 7. Atene, Grecia 2004
testo

Logica simbolica

  • Chang, Chin-Liang

Risultati 1-20 di 97

Seguici su Twitter

I Nostri Social