Ergebnisse filtern
Fachgebiet
Medium
  • 3
  • 2
Erscheinungsjahr
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 3
  • 5
  • 1
  • 2
Verlag
  • 2
  • 3
Preis
  • 2
  • 3
Sprachen
  • 5
Verfügbarkeit
  • 5
Katalog
  • 5
5  Treffer  für „Latella, Diego“
    Bolognesi / Latella | Formal Methods for Distributed System Development | eBook | Sack Fachmedien
    E-Book

    Bolognesi / Latella Formal Methods for Distributed System Development

    FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
    Erscheinungsjahr 2013
    Verlag: Springer US
    ISBN: 978-0-387-35533-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    213,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Latella / Bolognesi | Formal Methods for Distributed System Development | Buch | Sack Fachmedien

    Latella / Bolognesi Formal Methods for Distributed System Development

    FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13,
    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4757-5264-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Latella / Bolognesi | Formal Methods for Distributed System Development | Buch | Sack Fachmedien

    Latella / Bolognesi Formal Methods for Distributed System Development

    FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13,
    2000
    Verlag: Springer US
    ISBN: 978-0-7923-7968-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Derrick / Gnesi / Latella | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Derrick / Gnesi / Latella Integrated Formal Methods

    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-30729-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Derrick / Treharne / Gnesi | Integrated Formal Methods | Buch | Sack Fachmedien

    Derrick / Treharne / Gnesi Integrated Formal Methods

    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30728-7
    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