1
Pubblicazione 2010
Sommario: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
Testo
Elettronico eBook