Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Correct system design : recent insights and advantages / Ernst-Rudiger Olderog ... [et al.](eds.)
| Correct system design : recent insights and advantages / Ernst-Rudiger Olderog ... [et al.](eds.) |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | XIV, 415 p. : ill. ; 24 cm |
| Collana | Lecture notes in computer science |
| ISBN | 3-540-66624-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205630203316 |
| Berlin : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks
| Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks |
| Autore | Olderog, Ernst-Rudiger |
| Pubbl/distr/stampa | Cambridge [etc.], : Cambridge University, c2008 |
| Descrizione fisica | XVI, 320 p. : ill. ; 26 cm |
| Disciplina |
004
004.33 |
| Altri autori (Persone) | Dierks, Henning |
| Soggetto topico | Elaborazione dei dati |
| ISBN | 9780521883337 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS2194220 |
Olderog, Ernst-Rudiger
|
||
| Cambridge [etc.], : Cambridge University, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog
| 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 | ||
| ||
Verification of sequential and concurrent programs / Krysztof R. Apt, Ernst-Rudiger Olderog
| Verification of sequential and concurrent programs / Krysztof R. Apt, Ernst-Rudiger Olderog |
| Autore | Apt, Krzysztof R. <1949-> |
| Pubbl/distr/stampa | New York [etc.], : Springer, c1991 |
| Descrizione fisica | XVI, 441 p. ; 25 cm |
| Disciplina |
005.1
005.14 |
| Altri autori (Persone) | Olderog, Ernst-Rudiger |
| Collana | Texts and monographs in computer science |
| Soggetto topico |
Programmi per elaboratori - Verifica
Elaboratori elettronici - Programmi - Verifica |
| ISBN |
0387975322
3540975322 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10012210 |
|
Apt, Krzysztof R. <1949->
|
||
| New York [etc.], : Springer, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||