Inicio > > Ciencias de la computación > Análisis y diseño de sistemas > Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

 

66,22 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1995
Materia
Análisis y diseño de sistemas
ISBN:
9783540606307
66,22 €
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 presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ’95, held in Aarhus, Denmark, in May 1995.The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.

Artículos relacionados

  • CLOUD TO EDGEWARE
    BROOKS TYSON T / TYSON T BROOKS
    This comprehensive book presents a new approach to dynamic distributed virtual systems. Wireless grids edgeware promises new cloud to edge secure architectures with mobile security for the Internet of Things (IoT). The scope covers framworks and models for wireless grids edgeware, as well as open specifications and new applications called gridlets and wiglets.The book also high...
  • Solutions Architect’s Handbook - Third Edition
    Neelanjali Srivastav / Saurabh Shrivastava
    From fundamentals and design patterns to the latest techniques such as generative AI, machine learning and cloud native architecture, gain all you need to be a pro Solutions Architect crafting secure and reliable AWS architecture.Key Features:- Hits all the key areas -Rajesh Sheth, VP, Elastic Block Store, AWS- Offers the knowledge you need to succeed in the evolving landscape ...
    Disponible

    84,87 €

  • Generative AI for Cloud Solutions
    Anurag Karuparti / Paul Singh
    Explore Generative AI, the engine behind ChatGPT, and delve into topics like LLM-infused frameworks, autonomous agents, and responsible innovation, to gain valuable insights into the future of AI Key FeaturesGain foundational GenAI knowledge and understand how to scale GenAI/ChatGPT in the cloudUnderstand advanced techniques for customizing LLMs for organizations via fine-tunin...
    Disponible

    75,16 €

  • Segurança De Serviços Em Nuvem Na Prática
    Hélio Watanabe
    Segurança de Serviços em Nuvem na Prática: utilizando a ISO 27017 em empresas no Brasilé um guia prático voltado para a implementação de medidas de segurança da informação em serviços de nuvem, com foco nas particularidades do mercado brasileiro.O livro aborda a importância crescente da computação em nuvem e os desafios associados à sua segurança, introduzindo a norma ISO/IEC 2...
    Disponible

    9,88 €

  • The Habits of Great Developers
    Tom Henricksen
    Developers want great results and must focus on the small habits.Don’t you wish someone asked great developers how they do it? Tom Henricksen has reached out to leading coders and compiled their advice into one place.Here are some of the people whom he worked with:David FarleyWoody ZuillDoc NortonGeePaw HillDavid NealAndrew StellmanLuca RossiTom has distilled down the small ste...
    Disponible

    17,79 €

  • Enterprise Architects
    Svyatoslav Kotusev
    Enterprise architects are specialized industry professionals responsible for leading joint business and IT planning in organizations, thereby enabling the success of their digital transformation efforts. Despite their immediate relevance to today’s ubiquitous digitalization tendencies, the very presence of enterprise architects, as unique organizational characters, is largely u...
    Disponible

    85,82 €