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.
Graph transformations in computer science : international workshop : Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jurgen Schneider, Hartmund Ehrig (eds.)
| Graph transformations in computer science : international workshop : Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jurgen Schneider, Hartmund Ehrig (eds.) |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | VIII, 394 p. ; 24 cm |
| Disciplina |
005.1
005.1015115 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Elaboratori elettronici - Grafica - Congressi - 1993
Informatica - Congressi - 1993 |
| ISBN |
0387577874
3540577874 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10005879 |
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Petri-Netz basierte verifikation von funktionalen testfällen / / Sebastian Thiel
| Petri-Netz basierte verifikation von funktionalen testfällen / / Sebastian Thiel |
| Autore | Thiel Sebastian |
| Pubbl/distr/stampa | Göttingen, [Germany] : , : Cuvillier Verlag, , 2012 |
| Descrizione fisica | 1 online resource (227 pages) : illustrations, tables |
| Disciplina | 005.1015115 |
| Collana | Audi Dissertationsreihe |
| Soggetto topico |
Petri nets
Automatic control |
| ISBN | 3-7369-4056-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910794715203321 |
Thiel Sebastian
|
||
| Göttingen, [Germany] : , : Cuvillier Verlag, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri-Netz basierte verifikation von funktionalen testfällen / / Sebastian Thiel
| Petri-Netz basierte verifikation von funktionalen testfällen / / Sebastian Thiel |
| Autore | Thiel Sebastian |
| Pubbl/distr/stampa | Göttingen, [Germany] : , : Cuvillier Verlag, , 2012 |
| Descrizione fisica | 1 online resource (227 pages) : illustrations, tables |
| Disciplina | 005.1015115 |
| Collana | Audi Dissertationsreihe |
| Soggetto topico |
Petri nets
Automatic control |
| ISBN | 3-7369-4056-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910814284803321 |
|
Thiel Sebastian
|
||
| Göttingen, [Germany] : , : Cuvillier Verlag, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Process algebras for Petri nets [[electronic resource] ] : the alphabetization of distributed systems / / by Roberto Gorrieri
| Process algebras for Petri nets [[electronic resource] ] : the alphabetization of distributed systems / / by Roberto Gorrieri |
| Autore | Gorrieri Roberto |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 302 p. 64 illus., 4 illus. in color.) |
| Disciplina | 005.1015115 |
| Collana | Monographs in Theoretical Computer Science. An EATCS Series |
| Soggetto topico |
Computers
Mathematical logic Software engineering Theory of Computation Mathematical Logic and Foundations Software Engineering/Programming and Operating Systems |
| ISBN | 3-319-55559-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Transition Systems -- Petri Nets -- The Basic Calculus: SFM -- Adding Asynchronous Parallel Composition: CFM and BPP -- Adding Communication and Restriction: FNC -- Adding Multi-party Communication: FNM -- Adding Atomic Tests for Absence: NPL -- Generalizations and Conclusions. |
| Record Nr. | UNINA-9910254829603321 |
|
Gorrieri Roberto
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||