Ergebnisse filtern
Fachgebiet
Medium
  • 7
  • 6
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 5
  • 13
  • 1
  • 1
  • 3
  • 1
  • 1
Verlag
  • 2
  • 2
  • 3
  • 1
  • 1
  • 4
Preis
  • 8
  • 5
Sprachen
  • 13
Verfügbarkeit
  • 13
Katalog
  • 13
13  Treffer  für „Moore, J Strother“
    Moore | Piton | Buch | Sack Fachmedien

    Moore Piton

    A Mechanically Verified Assembly-Level Language
    1996. Auflage 1996
    Verlag: Springer
    ISBN: 978-0-7923-3920-5
    Medium: Buch
    97,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moore | Piton | eBook | Sack Fachmedien
    E-Book

    Moore Piton

    A Mechanically Verified Assembly-Level Language
    Erscheinungsjahr 2007
    Verlag: Springer Netherland
    ISBN: 978-0-585-33654-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Moore | Piton | Buch | Sack Fachmedien

    Moore Piton

    A Mechanically Verified Assembly-Level Language
    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer Netherlands
    ISBN: 978-94-017-3791-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Russinoff | Formal Verification of Floating-Point Hardware Design | Buch | Sack Fachmedien

    Russinoff Formal Verification of Floating-Point Hardware Design

    A Mathematical Approach
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-95512-4
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Russinoff | Formal Verification of Floating-Point Hardware Design | eBook | Sack Fachmedien
    E-Book

    Russinoff Formal Verification of Floating-Point Hardware Design

    A Mathematical Approach
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-95513-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    90,94 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Russinoff | Formal Verification of Floating-Point Hardware Design | Buch | Sack Fachmedien

    Russinoff Formal Verification of Floating-Point Hardware Design

    A Mathematical Approach
    Softcover Nachdruck of the original 1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-07048-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Moore / Manolios | Computer-Aided Reasoning | Buch | Sack Fachmedien

    Kaufmann / Moore / Manolios Computer-Aided Reasoning

    ACL2 Case Studies
    2000
    Verlag: Springer US
    ISBN: 978-0-7923-7849-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Manolios / Moore | Computer-Aided Reasoning: Acl2 Case Studies | Buch | Sack Fachmedien

    Kaufmann / Manolios / Moore Computer-Aided Reasoning: Acl2 Case Studies

    2000
    Verlag: Springer
    ISBN: 978-0-7923-7880-8
    Medium: Buch
    257,34 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Manolios / Moore | Computer-Aided Reasoning | eBook | Sack Fachmedien
    E-Book

    Kaufmann / Manolios / Moore Computer-Aided Reasoning

    An Approach
    Erscheinungsjahr 2012
    Verlag: Springer US
    ISBN: 978-1-4615-4449-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    259,00 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kaufmann / Moore / Manolios | Computer-Aided Reasoning | Buch | Sack Fachmedien

    Kaufmann / Moore / Manolios Computer-Aided Reasoning

    ACL2 Case Studies
    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4419-4981-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Manolios / Moore | Computer-Aided Reasoning | eBook | Sack Fachmedien
    E-Book

    Kaufmann / Manolios / Moore Computer-Aided Reasoning

    ACL2 Case Studies
    Erscheinungsjahr 2013
    Verlag: Springer US
    ISBN: 978-1-4757-3188-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    213,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Boyer / Moore / Standish | A Computational Logic | eBook | Sack Fachmedien
    E-Book

    Boyer / Moore / Standish A Computational Logic

    1. Auflage 2014
    Verlag: Elsevier Science & Techn.
    ISBN: 978-1-4832-7788-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    54,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Boyer / Moore / Rheinboldt | A Computational Logic Handbook | eBook | Sack Fachmedien
    E-Book

    Boyer / Moore / Rheinboldt A Computational Logic Handbook

    Formerly Notes and Reports in Computer Science and Applied Mathematics
    1. Auflage 2014
    Verlag: Elsevier Science & Techn.
    ISBN: 978-1-4832-7778-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    54,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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