biblio toscana

Libri preferiti

Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti

Area Personale

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Titolo

Autore

Soggetto

Ordinamento Alfabetico Alf. decr. Rilevanza Anno cresc. Anno decr.

Localizzazione Tutte Risorse pubblicate in Toscana

Lingua

Nazione

Tipologia Tipologia di supporto

Livello Bibliografico

Pubblicato dal

al

Isbn

Annulla ricerca

Risultati ricerca

Risultati 1-20 di 37

Writing solid code

Microsoft's techniques for developing bug-free C programs

Maguire, Steve

Verification, model checking, and abstract interpretation

7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

International conference on verification, model checking, and abstract interpretation 7. Charleston, SC, USA 2006

Verification, model checking, and abstract interpretation

third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

International workshop on verification, model checking, and abstract interpretation 3. Venice, Italy 2002

Model checking software

10th international SPIN workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

International SPIN workshop 10. Portland, OR, USA 2003

Systems and software verification

model-checking techniques and tools

Testing guide release 4.0

Owasp (Open Web Application Security Project)

Model-based testing of reactive systems

advanced lectures

Il test e la qualità del software

un modello per lo sviluppo, il controllo di qualità e l'attività di test del software

Cignoni, Giovanni A.

Model checking software

11th international SPIN workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

International SPIN workshop 11. Barcelona, Spain 2004

Program debugging environments design and utilization

design and utilization

Lazzerini, Beatrice

Rigorous software development

an introduction to program verification

Verification of sequential and concurrent programs

Apt, Krzysztof R.

Self-stabilizing systems

5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedings

International workshop on self-stabilizing systems 5th Lisbon 2001

Debugging C

tecniche e strumenti per il programmatore

Ward, Robert

Unfoldings

a partial-order approach to model checking

Esparza, Javier

Verification, model checking, and abstract interpretation

6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

International conference on verification, model checking, and abstract interpretation 6. Parigi 2005

Verification, model checking, and abstract interpretation

5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

International conference on verification, model checking, and abstract interpretation 5. Venice, Italy 2004

Model checking software

9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

International SPIN workshop 9. Grenoble, France 2002

Verification, model checking, and abstract interpretation

4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

International conference on verification, model checking, and abstract interpretation 4. New York, NY, USA 2003

Computer performance measurement and evaluation methods

analysis and applications

Svobodova, Liba

Risultati 1-20 di 37