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

    Trefferliste "Verification And Validation" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Verification and Validation" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    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 81,04

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    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 54,75

    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

    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

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    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 81,04

    William L. Oberkampf, Christopher J. Roy
    Verification, Validation, and Uncertainty Quantification in Scientific Computing

    "This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework pr…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 242,74

    Louis S Wheatcraft, Michael J Ryan, Tami Edner Katz,
    Incose Needs and Requirements Manual

    Complete and comprehensive manual for eliciting, defining, and managing needs and requirements, integration, verification, and validation across the lifecycleThe INCOSE Needs and Requirements Manual prese…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 114,93

    Integrated Formal Methods

    This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers pre…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops

    This book constitutes the refereed proceedings of the workshops held in conjunction with the 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, IFIPIoT 2024, in Nice, France, in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 87,60

    Weifei Hu
    Design Optimization Under Uncertainty

    This book introduces the fundamental concepts of probability and reliability, the classical methods of uncertainty modelling, time-dependent and time-independent reliability analysis methods, model verifi…

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

    Advanced Aircraft Understanding via the Virtual Aircraft Model

    This book reports on the results of a four-year collaborative project between the German Aerospace Center (DLR), three German universities and the aircraft industry. The project was funded by the Ministry…

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