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.
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky
| Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) |
| Disciplina | 006.333 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-59152-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems. |
| Record Nr. | UNINA-9910427707203321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky
| Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) |
| Disciplina | 006.333 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-59152-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems. |
| Record Nr. | UNISA-996418291303316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
| Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2006 |
| Disciplina | 005.3 |
| Soggetto topico |
Software engineering
Formal methods (Computer science) Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-9239-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996207372103316 |
| [Place of publication not identified], : IEEE Computer Society, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
| Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2006 |
| Disciplina | 005.3 |
| Soggetto topico |
Software engineering
Formal methods (Computer science) Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-9239-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145634403321 |
| [Place of publication not identified], : IEEE Computer Society, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam
| SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2009 |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Formal methods (Computer science) Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-6875-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996212399003316 |
| [Place of publication not identified], : IEEE Computer Society, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam
| SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2009 |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Formal methods (Computer science) Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-6875-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138935503321 |
| [Place of publication not identified], : IEEE Computer Society, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical aspects of computing : ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings / / Dang Van Hung, Martin Wirsing (eds.)
| Theoretical aspects of computing : ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings / / Dang Van Hung, Martin Wirsing (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XIV, 618 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
DangHung Van <1950->
WirsingM (Martin) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Electronic data processing
Information theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks -- Component-Based Software Engineering -- Formal Languages -- Outfix-Free Regular Languages and Prime Outfix-Free Decomposition -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer Science Logics -- Compositionality of Fixpoint Logic with Chop -- An SLD-Resolution Calculus for Basic Serial Multimodal Logics -- Upside-Down Transformation in SOL/Connection Tableaux and Its Application -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from LOGS Specifications -- Formalizing the Debugging Process in Haskell -- Finding Resource Bounds in the Presence of Explicit Deallocation -- Real-Time Systems -- The Timer Cascade: Functional Modelling and Real Time Calculi -- A Robust Interpretation of Duration Calculus -- Symbolic Model Checking of Finite Precision Timed Automata -- Concurrency and Refinement -- Covarieties of Coalgebras: Comonads and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations -- Externalized and Internalized Notions of Behavioral Refinement -- Software Security -- Information Flow Is Linear Refinement of Constancy -- On Typing Information Flow -- Representation and Reasoning on RBAC: A Description Logic Approach -- Revisiting Failure Detection and Consensus in Omission Failure Environments -- Quantitative Logics -- Congruences and Bisimulations for Continuous-Time Stochastic Logic -- A Logic for Quantum Circuits and Protocols -- Quantitative Temporal Logic Mechanized in HOL -- Weak Stochastic Bisimulation for Non-markovian Processes -- Object-Orientation and Component Systems -- On Refinement of Software Architectures -- POST: A Case Study for an Incremental Development in rCOS -- Implementing Application-Specific Object-Oriented Theories in HOL -- Constructing Open Systems via Consistent Components -- Model-Checking and Algorithms -- A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems -- Using Fairness Constraints in Process-Algebraic Verification -- Maximum Marking Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract Computer Virology -- On Superposition-Based Satisfiability Procedures and Their Combination -- Tutorials at ICTAC 2005 -- A Summary of the Tutorials at ICTAC 2005. |
| Altri titoli varianti | ICTAC 2005 |
| Record Nr. | UNINA-9910484051403321 |
| Berlin ; ; New York, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||