Ergebnisse filtern
Fachgebiet
Medium
  • 15
  • 15
Erscheinungsjahr
  • 1
  • 14
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
Autoren
  • 2
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
Verlag
  • 28
  • 2
Preis
  • 21
  • 9
Sprachen
  • 30
Verfügbarkeit
  • 30
Katalog
  • 30
  • 1
30  Treffer  für „Formal Approaches to Computing and Information Technology (FACIT)“
    Goldsack / Kent | Formal Methods and Object Technology | eBook | Sack Fachmedien
    E-Book

    Goldsack / Kent Formal Methods and Object Technology

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-3071-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kent / Goldsack | Formal Methods and Object Technology | Buch | Sack Fachmedien

    Kent / Goldsack Formal Methods and Object Technology

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-19977-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lano | Formal Object-Oriented Development | eBook | Sack Fachmedien
    E-Book

    Lano Formal Object-Oriented Development

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-3073-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lano | Formal Object-Oriented Development | Buch | Sack Fachmedien

    Lano Formal Object-Oriented Development

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-19978-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paterno / Palanque | Formal Methods in Human-Computer Interaction | Buch | Sack Fachmedien

    Paterno / Palanque Formal Methods in Human-Computer Interaction

    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-76158-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Bowen | Industrial-Strength Formal Methods in Practice | eBook | Sack Fachmedien
    E-Book

    Hinchey / Bowen Industrial-Strength Formal Methods in Practice

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-0523-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Palanque / Paterno | Formal Methods in Human-Computer Interaction | eBook | Sack Fachmedien
    E-Book

    Palanque / Paterno Formal Methods in Human-Computer Interaction

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-3425-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Hinchey | Industrial-Strength Formal Methods in Practice | Buch | Sack Fachmedien

    Bowen / Hinchey Industrial-Strength Formal Methods in Practice

    1999
    Verlag: Springer
    ISBN: 978-1-85233-640-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lano | The B Language and Method | Buch | Sack Fachmedien

    Lano The B Language and Method

    A Guide to Practical Formal Development
    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-76033-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lano | The B Language and Method | eBook | Sack Fachmedien
    E-Book

    Lano The B Language and Method

    A Guide to Practical Formal Development
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-1494-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dang Van / Moore / George | Specification Case Studies in RAISE | Buch | Sack Fachmedien

    Dang Van / Moore / George Specification Case Studies in RAISE

    2002
    Verlag: Springer
    ISBN: 978-1-85233-359-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaposi / Myers | Systems, Models and Measures | eBook | Sack Fachmedien
    E-Book

    Kaposi / Myers Systems, Models and Measures

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-1977-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Myers / Kaposi | Systems, Models and Measures | Buch | Sack Fachmedien

    Myers / Kaposi Systems, Models and Measures

    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19753-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Derrick / Boiten | Refinement in Z and Object-Z | eBook | Sack Fachmedien
    E-Book

    Derrick / Boiten Refinement in Z and Object-Z

    Foundations and Advanced Applications
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-0257-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    139,09 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Hinchey | High-Integrity System Specification and Design | eBook | Sack Fachmedien
    E-Book

    Bowen / Hinchey High-Integrity System Specification and Design

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-3431-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hinchey / Bowen | High-Integrity System Specification and Design | Buch | Sack Fachmedien

    Hinchey / Bowen High-Integrity System Specification and Design

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-76226-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andrews | A Theory and Practice of Program Development | Buch | Sack Fachmedien

    Andrews A Theory and Practice of Program Development

    1. Auflage. 1997
    Verlag: Springer
    ISBN: 978-3-540-76162-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andrews | A Theory and Practice of Program Development | eBook | Sack Fachmedien
    E-Book

    Andrews A Theory and Practice of Program Development

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-0987-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cooke | Constructing Correct Software | eBook | Sack Fachmedien
    E-Book

    Cooke Constructing Correct Software

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-3985-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    52,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bicarregui | Proof in VDM: Case Studies | eBook | Sack Fachmedien
    E-Book

    Bicarregui Proof in VDM: Case Studies

    1998
    Verlag: Springer
    ISBN: 978-1-4471-1532-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Habrias / Frappier | Software Specification Methods | Buch | Sack Fachmedien

    Habrias / Frappier Software Specification Methods

    An Overview Using a Case Study
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-85233-353-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frappier / Habrias | Software Specification Methods | eBook | Sack Fachmedien
    E-Book

    Frappier / Habrias Software Specification Methods

    An Overview Using a Case Study
    2001
    Verlag: Springer
    ISBN: 978-1-4471-0701-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bicarregui / Fitzgerald / Ritchie | Proof in VDM: A Practitioner's Guide | Buch | Sack Fachmedien

    Bicarregui / Fitzgerald / Ritchie Proof in VDM: A Practitioner's Guide

    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19813-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bicarregui | Proof in VDM: Case Studies | Buch | Sack Fachmedien

    Bicarregui Proof in VDM: Case Studies

    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76186-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekerinski / Sere | Program Development by Refinement | eBook | Sack Fachmedien
    E-Book

    Sekerinski / Sere Program Development by Refinement

    Case Studies Using the B Method
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4471-0585-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    213,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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