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 |
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 |
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 : 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
Logic, Symbolic and mathematical 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 | ||
|