Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “antonio cerone”
Skip side bar filters

  • Formal Methods. FM 2019 International Workshops

    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

    Edición de 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 ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Leer más

    $49.99 USD

  • Formal Methods for Software Engineering

    Languages, Methods, Application Domains

    de Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh ...
    Series series Computer Science (R0)
    Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as ... Leer más

    $58.99 USD

  • From Data to Models and Back

    11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers

    Edición de Giovanna Broccia, Antonio Cerone ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6–7, 2023.The 8 full papers presented were carefully reviewed and selected from 10 submissions. They were organized in topical sections as follows: domain-specific modeling and analysis; system biology; formal methods ... Leer más

    $116.99 USD

  • Formal Methods. FM 2019 International Workshops

    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

    Edición de 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 ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Leer más

    $49.99 USD

  • Theoretical Aspects of Computing – ICTAC 2021

    18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

    Edición de Antonio Cerone, Peter Csaba Ölveczky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually.The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. ... Leer más

    $76.99 USD

  • Software Engineering and Formal Methods

    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

    Edición de Frank de Boer, Antonio Cerone ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including ... Leer más

    $53.99 USD

  • Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

    Edición de Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the ... Leer más

    $49.99 USD

  • Formal Methods for an Informal World

    ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

    Edición de Antonio Cerone ...
    Series series Computer Science (R0)
    This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human ... Leer más

    $49.99 USD

  • Formal Methods – Fun for Everybody

    First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

    Edición de Antonio Cerone, Markus Roggenbach ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of ... Leer más

    $49.99 USD

  • Software Engineering and Formal Methods

    SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

    Edición de Antonio Cerone, Marco Roveri ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; ... Leer más

    $89.99 USD

  • Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

    SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

    Edición de Ioannis Stamelos, Antonio Cerone, Sara Fernandes, Panagiotis Katsaros, Alexeis Garcia-Perez, Siraj Ahmed Shaikh, Donatella Persico ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Knowledge Discovery, Knowledge Engineering and Knowledge Management

    6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers

    Edición de Ana Fred, Jan L. G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 6th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2014, held in Rome, Italy, in October 2014.The 37 full papers presented were carefully reviewed and selected from 287 submissions. The papers are organized in topical sections on knowledge discovery and information ... Leer más

    $49.99 USD