top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Formal Methods Teaching [[electronic resource] ] : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / / edited by Brijesh Dongol, Luigia Petre, Graeme Smith
Formal Methods Teaching [[electronic resource] ] : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / / edited by Brijesh Dongol, Luigia Petre, Graeme Smith
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XVI, 245 p. 545 illus., 53 illus. in color.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Machine theory
Compilers (Computer programs)
Software engineering
Logic programming
Algorithms
Formal Languages and Automata Theory
Compilers and Interpreters
Software Engineering
Logic in AI
ISBN 3-030-32441-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.
Record Nr. UNISA-996466438103316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / / edited by Brijesh Dongol, Luigia Petre, Graeme Smith
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / / edited by Brijesh Dongol, Luigia Petre, Graeme Smith
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XVI, 245 p. 545 illus., 53 illus. in color.)
Disciplina 004.0151
004.151
Collana Theoretical Computer Science and General Issues
Soggetto topico Machine theory
Compilers (Computer programs)
Software engineering
Logic programming
Algorithms
Formal Languages and Automata Theory
Compilers and Interpreters
Software Engineering
Logic in AI
ISBN 3-030-32441-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.
Record Nr. UNINA-9910349279903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVIII, 523 p. 398 illus., 98 illus. in color.)
Disciplina 004.0151
Collana Programming and Software Engineering
Soggetto topico Software engineering
Special purpose computers
Computers
Architecture, Computer
Artificial intelligence
Application software
Software Engineering
Special Purpose and Application-Based Systems
Theory of Computation
Computer System Implementation
Artificial Intelligence
Computer Applications
ISBN 3-030-54994-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.
Record Nr. UNISA-996418289703316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVIII, 575 p. 605 illus., 85 illus. in color.)
Disciplina 006.3
Collana Programming and Software Engineering
Soggetto topico Computers
Artificial intelligence
Software engineering
Special purpose computers
Architecture, Computer
Application software
Theory of Computation
Artificial Intelligence
Software Engineering/Programming and Operating Systems
Special Purpose and Application-Based Systems
Computer System Implementation
Computer Applications
ISBN 3-030-54997-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis.
Record Nr. UNISA-996418292803316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVIII, 575 p. 605 illus., 85 illus. in color.)
Disciplina 006.3
Collana Programming and Software Engineering
Soggetto topico Computers
Artificial intelligence
Software engineering
Special purpose computers
Architecture, Computer
Application software
Theory of Computation
Artificial Intelligence
Software Engineering/Programming and Operating Systems
Special Purpose and Application-Based Systems
Computer System Implementation
Computer Applications
ISBN 3-030-54997-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis.
Record Nr. UNINA-9910416085803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVIII, 523 p. 398 illus., 98 illus. in color.)
Disciplina 004.0151
Collana Programming and Software Engineering
Soggetto topico Software engineering
Special purpose computers
Computers
Architecture, Computer
Artificial intelligence
Application software
Software Engineering
Special Purpose and Application-Based Systems
Theory of Computation
Computer System Implementation
Artificial Intelligence
Computer Applications
ISBN 3-030-54994-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.
Record Nr. UNINA-9910416085903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / / Brijesh Dongol, Elena Troubitsyna, editors
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / / Brijesh Dongol, Elena Troubitsyna, editors
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2020]
Descrizione fisica 1 online resource (XI, 461 p. 1045 illus., 64 illus. in color.)
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto topico Formal methods (Computer science)
ISBN 3-030-63461-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques.
Record Nr. UNINA-9910427673203321
Cham, Switzerland : , : Springer, , [2020]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / / Brijesh Dongol, Elena Troubitsyna, editors
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / / Brijesh Dongol, Elena Troubitsyna, editors
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2020]
Descrizione fisica 1 online resource (XI, 461 p. 1045 illus., 64 illus. in color.)
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto topico Formal methods (Computer science)
ISBN 3-030-63461-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques.
Record Nr. UNISA-996418209203316
Cham, Switzerland : , : Springer, , [2020]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui