Ergebnisse filtern
Fachgebiet
Medium
  • 8
Erscheinungsjahr
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 2
  • 2
  • 2
Verlag
  • 1
  • 1
  • 5
  • 1
Preis
  • 8
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8

Mathematik | Informatik

8  Treffer  für „Roggenbach, Markus“
Alle Filter löschen
    Roggenbach | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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
    Roggenbach / James | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    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
    Gruner / Roggenbach / Kumar | On the Construction of Engineering Handbooks | Buch | Sack Fachmedien

    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
    Haxthausen / Huang / Roggenbach | Applicable Formal Methods for Safe Industrial Products | Buch | Sack Fachmedien

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

    Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40131-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Rutten / Harman | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    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 / Shaikh | Formal Methods for Software Engineering | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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