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:

    Advances in Computing

    This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

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

    Advances in Computing

    This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

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

    Bridging the Gap Between AI and Reality

    This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 202…

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

    Real Time and Such

    This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmer…

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

    Components Operationally: Reversibility and System Engineering

    Lecture Notes in Computer Science - volume 16065

    This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to …

    lieferbar ab 6.10.2025.
    Buch
    Current price: EUR 63.51
    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.