Formal Methods for Quantitative Aspects of Programming Languages
Marco Bernardo, Alessandro Aldini, Alessandra Di Pierro, Herbert Wiklicky
169
Pagini
2010
An
Paperback
Copertă
Editura
Springer, Berlin
Copertă
Paperback
Pagini
169
An publicare
2010
ISBN
9783642136771
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.