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.
MetaSoft Primer [[electronic resource] ] : Towards a Metalanguage for Applied Denotational Semantics / / by Andrzej Blikle ; edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth
| MetaSoft Primer [[electronic resource] ] : Towards a Metalanguage for Applied Denotational Semantics / / by Andrzej Blikle ; edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth |
| Autore | Blikle Andrzej |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (XVI, 148 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-48043-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465809203316 |
Blikle Andrzej
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Net Theory and Applications [[electronic resource] ] : Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 / / edited by W. Brauer
| Net Theory and Applications [[electronic resource] ] : Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 / / edited by W. Brauer |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 |
| Descrizione fisica | 1 online resource (XVI, 540 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science, general |
| ISBN | 3-540-39322-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to general net theory -- Elements of general net theory -- Formal properties of place/transition nets -- Linear algebra in net theory -- Atomicity of activities -- Concurrency -- The relative strength of K-density -- Reductions of nets and parallel programs -- Adequacy of path programs -- Performance evaluation of systems using nets -- Survey of French research and applications based on Petri nets -- Nets in modeling and simulation -- Abstractions of net models -- Applications of net-based models -- The application of general net theory — A personal history -- Petri-nets from the engineer's viewpoint lecture I -- Nets as a tool in teaching and in terminology work -- Structured representation of knowledge by Petri nets as an aid for teaching and research -- A dictionary of some basic notions of net theory -- Addresses of all authors. |
| Record Nr. | UNISA-996465744503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||