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 ravara”
Skip side bar filters

  • Coordination Models and Languages

    27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17–19, 2025, Proceedings

    Edición de Cinzia Di Giusto, António Ravara ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, held in Lille, France, during June 17–19, 2025, as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025.The 12 full papers and two invited contributions included in this book were carefully ... Leer más

    $76.99 USD

  • Behavioural Types

    Edición de Simon Gay, Antonio Ravara ...
    Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from ... Leer más

    $48.99 USD

  • Web Services, Formal Methods, and Behavioral Types

    11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

    Edición de Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich ...
    Series series Springer Nature Proceedings Computer Science
    This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th ... Leer más

    $40.99 USD

  • Formal Techniques for Distributed Objects, Components, and Systems

    43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

    Edición de Marieke Huisman, António Ravara ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 13 regular papers and 3 short papers presented in this book were ... Leer más

    $71.99 USD

  • Behavioural Types

    From Theory to Tools

    Edición de Simon Gay, António Ravara ...
    Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from ... Leer más

    Gratis

La gente que leyó estos también disfrutó

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

    Edición de Alexandra Silva, K. Rustan M. Leino ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Leer más

    Gratis

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

    Edición de Sriram Sankaranarayanan, Natasha Sharygina ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Leer más

    Gratis

  • Similarity Search and Applications

    10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings

    Edición de Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Similarity Search and Applications, SISAP 2017, held in Munich, Germany, in October 2017.The 23 full papers presented were carefully reviewed and selected from 53 submissions. The papers deal with issues surrounding the theory, design, analysis, practice, and application of content-based and feature-based ... Leer más

    $62.99 USD

  • Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

    Edición de Marsha Chechik, Joost-Pieter Katoen, Martin Leucker ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and ... Leer más

    $89.99 USD

  • Formal Aspects of Component Software

    17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

    Edición de Gwen Salaün, Anton Wijs ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based ... Leer más

    $44.99 USD

  • Software Engineering and Formal Methods

    19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

    Edición de Radu Calinescu, Corina S. Păsăreanu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety ... Leer más

    $80.99 USD

  • NASA Formal Methods

    15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

    Edición de Kristin Yvonne Rozier, Swarat Chaudhuri ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. ... Leer más

    $89.99 USD