Fachgebiet
Medium
  • 4
Erscheinungsjahr
  • 2
  • 2
Autoren
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
Verlag
  • 4
Preis
  • 1
  • 3
Sprachen
  • 4
Verfügbarkeit
  • 4
Katalog
  • 4

Programmierung | Softwareentwicklung

4  Treffer  für „Beyer, Dirk“


    Beyer / Cavalcanti Fundamental Approaches to Software Engineering

    27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-57258-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beyer / Keller Tests and Proofs

    13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31156-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beyer / Hartmanns / Kordon TOOLympics Challenge 2023

    Updates, Results, Successes of the Formal-Methods Competitions
    2024
    Verlag: Springer
    ISBN: 978-3-031-67694-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beyer / Huisman / Kordon Tools and Algorithms for the Construction and Analysis of Systems

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17501-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular