0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Formal Methods In Software Engineering" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods in Software Engineering" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Software Engineering and Formal Methods

    This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6¿8, 2024.The 23 full p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 76,66

    System Design in Software Engineering

    This book offers a broad range of ideas from CoMeSySo 2024, highlighting theory and practice in modern computing. Researchers from diverse backgrounds present their latest findings on systems design, soft…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

    This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Formal Methods in Architecture

    Digital Innovations in Architecture, Engineering and Construction

    This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodol…

    lieferbar ab 4.10.2025.
    Buch
    Aktueller Preis: EUR 306,65

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

    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

    Claes Wohlin, Per Runeson, Anders Wesslén, Magnus C. Ohlsson
    Experimentation in Software Engineering

    This textbook, which has become the leading source for empirical software engineering research through its earlier editions, provides an in-depth introduction to experimentation in software engineering. T…

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

    New Perspectives in Software Engineering

    The goal of this book is to provide a broad understanding on the New Perspectives in Software Engineering research. The advancement of computers, and mobile devices, among others, has led to the creation …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Agile Processes in Software Engineering and Extreme Programming

    This open access book constitutes the proceedings of the 26th International Conference on Agile Software Development, XP 2025, which took place in Brugg-Windisch, Switzerland, during June 2-5, 2025.XP is …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Agile Processes in Software Engineering and Extreme Programming - Workshops

    This open access book constitutes revised selected papers from the workshops held at the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, dur…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Software Engineering for Games in Serious Contexts

    The book highlights several challenges and opportunities in the field of software engineering for serious games. It covers a wide range of topics from game design principles to software architecture, test…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 186,19

    Software Engineering Methods Design and Application

    This book dives into contemporary research methodologies, emphasising the innovative use of machine learning and statistical techniques in software engineering. Exploring software engineering and its inte…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Design Tools and Methods in Industrial Engineering IV

    This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Amiya K Jana
    Numerical Methods in Engineering

    Numerical methods are a cornerstone of modern engineering. This lucid textbook strikes a balance between theory and analysis of numerical methods and their practical applications in engineering. Each chap…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 124,41

    Integral Methods in Science and Engineering

    This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering.…

    lieferbar ab 13.10.2025.
    Buch
    Aktueller Preis: EUR 219,03

    Peter Wriggers, Fadi Aldakheel, Bla¿ Hudobivnik
    Virtual Element Methods in Engineering Sciences

    This book provides a comprehensive treatment of the virtual element method (VEM) for engineering applications, focusing on its application in solid mechanics. Starting with a continuum mechanics backgroun…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 186,19

    Integral Methods in Science and Engineering

    This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering.…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Domain Decomposition Methods in Science and Engineering XXVII

    These are the proceedings of the 27th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in Prague, Czech Republic, in July 2022.Domain decomposition metho…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94

    Computer Methods in Biomechanics and Biomedical Engineering II

    This book gathers selected, extended and revised contributions to the 18th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, held on May 3-5, 2023, at Arts Et Métiers…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 175,23

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    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

    Analytical and Experimental Methods in Mechanical and Civil Engineering

    This book publishes contributions of the 1st Olympiad in Engineering Science (OES 2023), an international congress and contest aiming to disseminate and evaluate the recent advances in Engineering Science…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 273,80
    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.