Inicio > > Ciencias de la computación > Inteligencia artificial > Computer Aided Verification
Computer Aided Verification

Computer Aided Verification

 

143,87 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2011
Materia
Inteligencia artificial
ISBN:
9783642221095
143,87 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).

Artículos relacionados

  • Innovations in XML Applications and Metadata Management
    As new concepts such as virtualization, cloud computing, and web applications continue to emerge, XML has begun to assume the role as the universal language for communication among contrasting systems that grow throughout the internet. Innovations in XML Applications and Metadata Management: Advancing Technologies addresses the functionality between XML and its related technolo...
  • THEORY AND PRACTICE OF COMPUTATION
    MASAYUKI NUMAO JAIME SHIN-YA NISHIZAKI / NISHIZAKI SHIN-YA
     This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2013 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines — Diliman, and De La Salle University. The proceedings provide...
  • React 16 Tooling
    Adam Boduch
    ...
    Disponible

    69,99 €

  • HP Certified Systems Administrator (2nd Edition)
    Asghar Ghori
    Like the first edition of this book, the second edition also covers three main objectives ¿ to provide a comprehensive resource to individuals, including novice, IT/Non-HP-UX administrators, and HP-UX administrators who intend to take the new HP Certified Systems Administrator exam HP0-095 and pass it; to provide a quick and valuable on-the-job resource to HP-UX administrators,...
    Disponible

    58,77 €

  • Build your own Programming Language - Second Edition
    Clinton L. Jeffery / Imran Ahmad
    Learn to design your own programming language in a hands-on way by building compilers, using preprocessors, transpilers, and more, in this fully-refreshed second edition, written by the creator of the Unicon programming language.Purchase of the print or Kindle book includes a free PDF eBookKey Features- Takes a hands-on approach; learn by building the Jzero language, a subset o...
    Disponible

    74,14 €

  • Hands-On Unity Game Development - Fourth Edition
    Juan Gabriel Gomila Salas / Nicolas Alejandro Borromeo
    Unlock game development mastery with Unity 2023! This book takes you from conception to publication, equipping you with the key tools and techniques you need to bring your gaming vision to life.Key FeaturesLearn the fundamentals of Unity 2023 and create your dream gameExplore the world of augmented reality (AR) to create captivating mobile gamesPropel game performance and playe...
    Disponible

    73,58 €