0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Software Verification – alle Bücher

    Trefferliste "Software Verification" - alle Bücher

    Ihre Suche nach "Software Verification" (Bücher) ergab 5 Treffer

    Ansicht:

    Guide to Software Verification with Frama-C

    Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 69,33

    Anton Wijs, Marieke Huisman
    Concise Guide to Software Verification

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,99

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Lecture Notes in Computer Science -Band 15222

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    The Application of Formal Methods

    This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Thom Frühwirth
    Principles of Rule-Based Programming

    The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 36,00
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH