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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|