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.
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings / / edited by Graham Hutton
| Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings / / edited by Graham Hutton |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (viii, 467 pages) : illustrations |
| Disciplina |
001.642
005.10151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer science
Software engineering Machine theory Electronic digital computers - Evaluation Natural language processing (Computer science) Computer science - Mathematics Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory System Performance and Evaluation Natural Language Processing (NLP) Mathematical Applications in Computer Science |
| ISBN | 3-030-33636-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349271103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics of Program Construction [[electronic resource] ] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / / edited by Claude Bolduc, Jules Desharnais, Bechir Ktari
| Mathematics of Program Construction [[electronic resource] ] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / / edited by Claude Bolduc, Jules Desharnais, Bechir Ktari |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 427 p. 57 illus.) |
| Disciplina | 005.10151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Immunology Computer programming Computer science Machine theory Software Engineering Programming Techniques Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN |
1-280-38680-0
9786613564726 3-642-13321-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Algorithmics of Solitaire-Like Games -- Compositionality of Secure Information Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program Construction and Verification -- The Logic of Large Enough -- Dependently Typed Grammars -- Abstraction of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System Derivation Using Enforced Properties -- Designing an Algorithmic Proof of the Two-Squares Theorem -- Partial, Total and General Correctness -- Unifying Theories of Programming That Distinguish Nontermination and Abort -- Adjoint Folds and Unfolds -- An Abstract Machine for the Old Value Retrieval -- A Tracking Semantics for CSP -- Matrices as Arrows! -- Lucy-n: a n-Synchronous Extension of Lustre -- Sampling, Splitting and Merging in Coinductive Stream Calculus -- Generic Point-free Lenses -- Formal Derivation of Concurrent Garbage Collectors -- Temporal Logic Verification of Lock-Freedom -- Gradual Refinement. |
| Record Nr. | UNISA-996465637503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / / edited by Claude Bolduc, Jules Desharnais, Bechir Ktari
| Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / / edited by Claude Bolduc, Jules Desharnais, Bechir Ktari |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 427 p. 57 illus.) |
| Disciplina | 005.10151 |
| Altri autori (Persone) |
BolducClaude
DesharnaisJules KtariBechir |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Immunology Computer programming Computer science Machine theory Software Engineering Programming Techniques Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN |
1-280-38680-0
9786613564726 3-642-13321-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Algorithmics of Solitaire-Like Games -- Compositionality of Secure Information Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program Construction and Verification -- The Logic of Large Enough -- Dependently Typed Grammars -- Abstraction of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System Derivation Using Enforced Properties -- Designing an Algorithmic Proof of the Two-Squares Theorem -- Partial, Total and General Correctness -- Unifying Theories of Programming That Distinguish Nontermination and Abort -- Adjoint Folds and Unfolds -- An Abstract Machine for the Old Value Retrieval -- A Tracking Semantics for CSP -- Matrices as Arrows! -- Lucy-n: a n-Synchronous Extension of Lustre -- Sampling, Splitting and Merging in Coinductive Stream Calculus -- Generic Point-free Lenses -- Formal Derivation of Concurrent Garbage Collectors -- Temporal Logic Verification of Lock-Freedom -- Gradual Refinement. |
| Record Nr. | UNINA-9910482959003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||