Lectures in game theory for computer scientists / edited by Krzysztof R. Apt, Erich Gradel |
Autore | Apt, Krzysztof R. |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, @2011 |
Descrizione fisica | xii, 295 p. : ill. ; 26 cm |
Disciplina | 510.78 |
Altri autori (Persone) | Gradel, Erich |
Soggetto non controllato |
Teoria dei giochi
Modelli matematici Computer science |
ISBN | 978-0-521-19866-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990010092720403321 |
Apt, Krzysztof R. | ||
Cambridge : Cambridge University Press, @2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog |
Autore | Apt, Krzysztof R. |
Edizione | [2nd ed] |
Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
Descrizione fisica | XVII, 364 p. : ill. ; 23 cm. - |
Disciplina | 0051 |
Collana | Graduate texts in computer science |
Soggetto (Convegno) |
Elaboratori elettronici Programmazione
software Vverifica |
ISBN | 0-387-94896-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000270630203316 |
Apt, Krzysztof R. | ||
Berlino : Springer-Verlag, copyr. 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|