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 “moa johansson”
Skip side bar filters

  • Avtryck

    En textsamling om kärlek, smärta och saknad

    de Moa Johansson ...
    Avtryck är en textsamling om avtryck som individer, platser och situationer lämnat hos författaren. Det handlar om tre enormt stora känslor. Den stora kärleken, den svåra smärtan och den eviga saknaden. ... Leer más

    $3.99 USD

  • Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

    Edición de Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital ... Leer más

    $40.99 USD

  • Practical Aspects of Declarative Languages

    21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

    Edición de José Júlio Alferes, Moa Johansson ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Formal Modeling and Analysis of Timed Systems

    15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

    Edición de Alessandro Abate, Gilles Geeraerts ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... Leer más

    $49.99 USD

  • ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

    Edición de Arend Rensink, Joost-Pieter Katoen, Rom Langerak ...
    Series series Computer Science (R0)
    This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The ... Leer más

    $49.49 USD

  • Intelligent Computer Mathematics

    10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

    Edición de Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of ... Leer más

    $49.49 USD

  • Recent Trends in Algebraic Development Techniques

    23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

    Edición de Phillip James, Markus Roggenbach ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Leer más

    $49.99 USD

  • Tests and Proofs

    10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

    Edición de Bernhard K. Aichernig, Carlo A. Furia ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP ... Leer más

    $49.99 USD

  • Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

    Edición de Thierry Lecomte, Leila Ribeiro ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Leer más

    $49.99 USD

  • Using Event-B for Critical Device Software Systems

    de Neeraj Kumar Singh ...
    Series series Computer Science (R0)
    Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).This is assessed and evaluated via a standard case study: the cardiac pacemaker. ... Leer más

    $89.99 USD

  • Leveraging Applications of Formal Methods, Verification, and Validation

    6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

    Edición de Anna-Lena Lamprecht ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 ... Leer más

    $49.99 USD

  • Dependable Software Engineering: Theories, Tools, and Applications

    Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

    Edición de Martin Fränzle, Deepak Kapur, Naijun Zhan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and ... Leer más

    $49.99 USD