0
EUR
00,00*
Cart EUR 00,00 *
    Advanced search
    Create your personal account

    Search Results "Formal Methods" - all Bücher, LPs, CDs und mehr

    Ihre Suche nach "Formal Methods" (Bücher, LPs, CDs und mehr) ergab 65 Treffer.

    Ansicht:

    Formal Methods Teaching

    This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these pr…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 41.61

    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
    Current price: EUR 306.65

    Formal Methods

    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 164.28

    Formal Methods

    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 43.80

    Carroll Morgan
    Formal Methods, Informally

    Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. This undergraduate-level textbook is motivated by Formal Met…

    lieferbar ab 31.1.2026.
    Buch
    Current price: EUR 47.35

    Carroll Morgan
    Formal Methods, Informally

    Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. This undergraduate-level textbook is motivated by Formal Met…

    lieferbar ab 31.1.2026.
    Buch
    Current price: EUR 84.74

    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…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 142.37

    NASA Formal Methods

    This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in t…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 142.37

    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…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 76.66

    Formal Methods: Foundations and Applications

    This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 63.51

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science - volume 16040

    This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

    lieferbar ab 22.9.2025.
    Buch
    Current price: EUR 63.51

    Formal Methods for Industrial Critical Systems

    This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9¿13, 2024.The 14 full pape…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 63.51

    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, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 54.75

    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, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 81.04

    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, …

    deliverable within 2-3 weeks
    Buch
    Current price: 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, …

    deliverable within 2-3 weeks
    Buch
    Current price: 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, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 81.04

    TOOLympics Challenge 2023

    TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 54.75

    Konstantin Meinders
    Die Anti Arthrose Formel: Mit bewährten Methoden die Knorpelregeneration aktivieren und Gelenkschmerzen effektiv lindern für mehr Lebensqualität - inkl. Rezepten, Ernährungskompass, Übungen uvm.

    Arthrose-Formel: Mit zahlreichen Strategien, Maßnahmen und Anwendungen der Volkskrankheit Arthrose vorbeugen und zu Vitalität & Wohlbefinden zurückfindenMachen Ihnen die ersten Anzeichen einer Arthros…

    deliverable within 1-2 weeks
    Buch
    Current price: EUR 18.90

    Sebastian van Ravenswaay
    Besser sprechen auf Knopfdruck: Mit einfachen Methoden Ihren Wortschatz erweitern, Ausdrucksweise verbessern und zum Rhetorik Profi werden - inkl. Smalltalk Leitfaden & Körpersprache Formel

    Rhetorik: Mit optimaler Kommunikation in jeder Situation glänzen und ganz einfach berufliche und private Ziele erreichenPräsentationen treiben Ihnen den Schweiß auf die Stirn und gehören nicht zu Ihren be…

    available for immediate delivery
    Buch
    Current price: EUR 15.90
    Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.