|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465670803316 |
|
|
Titolo |
Integrated Formal Methods [[electronic resource] ] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings / / edited by Dominique Méry, Stephan Merz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38968-0 |
9786613567604 |
3-642-16265-7 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 337 p. 110 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 6396 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Mathematical logic |
Computer programming |
Software Engineering/Programming and Operating Systems |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
On Model Checking Techniques for Randomized Distributed Systems -- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B Approach to Data Sharing Agreements -- A Logical Framework to Deal with Variability -- Adding Change Impact Analysis to the Formal Verification of C Programs -- Creating Sequential Programs from Event-B Models -- Symbolic Model-Checking of Optimistic Replication Algorithms -- From Operating-System Correctness to Pervasively |
|
|
|
|