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...


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “sylvie boldo”
Skip side bar filters

  • Computer Arithmetic and Formal Proofs

    Verifying Floating-point Algorithms with the Coq System

    de Guillaume Melquiond, Sylvie Boldo ...
    Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive ... Leer más

    $134.99 USD

  • Numerical Software Verification

    10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

    Edición de Alessandro Abate, Sylvie Boldo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • 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

  • Term Rewriting and All That

    de Franz Baader, Tobias Nipkow ...
    This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both ... Leer más

    $62.99 USD

  • 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

  • Introduction to Lattices and Order

    de B. A. Davey, H. A. Priestley ...
    This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept ... Leer más

    $72.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

  • Monte Carlo Statistical Methods

    de Christian Robert, George Casella ...
    Series series Mathematics and Statistics (R0)
    Monte Carlo statistical methods, particularly those based on Markov chains, are now an essential component of the standard set of techniques used by statisticians. This new edition has been revised towards a coherent and flowing coverage of these simulation techniques, with incorporation of the most recent developments in the field. In particular, the introductory coverage of random variable ... Leer más

    $143.09 USD

  • Interactive Theorem Proving

    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

    Edición de Stephan Merz, Jasmin Christian Blanchette ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and ... Leer más

    $49.99 USD

  • Logic and Its Applications

    7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

    Edición de Sujata Ghosh, Sanjiva Prasad ...
    Series series Springer Nature Proceedings Computer Science
    This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference.The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. ... Leer más

    $49.99 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edición de Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... 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