skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Result Number Material Type Add to My Shelf Action Record Details and Options
1
25 years of model checking : history, achievements, perspectives
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

25 years of model checking : history, achievements, perspectives

GRUMBERG, Orna ; VEITH, Helmut

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2164664390003316()

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. VEITH, Helmut
  2. GRUMBERG, Orna

su questo soggetto:

  1. Sistemi Complessi

Ricerca in corso nelle risorse remote ...