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

Ed Brinksma

65,52 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1997
Materia
Análisis y diseño de sistemas
ISBN:
9783540627906
65,52 €
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 Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ’97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

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 €