Fachgebiet
Medium
  • 8
  • 6
Erscheinungsjahr
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
Autoren
  • 5
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 14
  • 2
  • 3
  • 3
  • 3
Verlag
  • 1
  • 1
  • 10
  • 2
Preis
  • 14
Sprachen
  • 14
Verfügbarkeit
  • 14
Katalog
  • 14
14  Treffer  für „Roggenbach, Markus“


    Roggenbach Recent Trends in Algebraic Development Techniques

    25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-73785-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Roggenbach Recent Trends in Algebraic Development Techniques

    25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-73784-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roggenbach / Cerone Formal Methods - Fun for Everybody

    First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-71373-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    James / Roggenbach Recent Trends in Algebraic Development Techniques

    23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-72044-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Roggenbach / James Recent Trends in Algebraic Development Techniques

    23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-72043-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cerone / Roggenbach Formal Methods – Fun for Everybody

    First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-71374-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Gruner / Roggenbach / Kumar On the Construction of Engineering Handbooks

    with an Illustration from the Railway Safety Domain
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-44647-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gruner / Kumar / Maibaum On the Construction of Engineering Handbooks

    with an Illustration from the Railway Safety Domain
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-44648-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Haxthausen / Roggenbach / Huang Applicable Formal Methods for Safe Industrial Products

    Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-40131-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fiadeiro / Harman / Roggenbach Algebra and Coalgebra in Computer Science

    First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-31876-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Fiadeiro / Rutten / Harman Algebra and Coalgebra in Computer Science

    First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28620-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    Erscheinungsjahr 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-38800-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Roggenbach / Cerone / Shaikh Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-38799-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roggenbach / Cerone / Shaikh Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-38802-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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