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

Mathematik | Informatik

5  Treffer  für „Silva, Alexandra“
Alle Filter löschen
    Bouajjani / Silva | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Bouajjani / Silva Formal Techniques for Distributed Objects, Components, and Systems

    37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Constable / Silva | Logic and Program Semantics | Buch | Sack Fachmedien

    Constable / Silva Logic and Program Semantics

    Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29484-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Leino | Computer Aided Verification | Buch | Sack Fachmedien

    Silva / Leino Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-81687-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Leino | Computer Aided Verification | Buch | Sack Fachmedien

    Silva / Leino Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-81684-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Staton / Sutton | Language, Logic, and Computation | Buch | Sack Fachmedien

    Silva / Staton / Sutton Language, Logic, and Computation

    12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-59564-0
    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