Ergebnisse filtern
Fachgebiet
Medium
  • 4
  • 2
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 1
Autoren
  • 3
  • 1
  • 6
  • 1
  • 3
  • 3
  • 3
  • 2
  • 3
Verlag
  • 1
  • 5
Preis
  • 6
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6
6  Treffer  für „Bolognesi, Tommaso“
    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
    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
    Bolognesi / van de Lagemaat / Vissers | Lotosphere: Software Development with Lotos | Buch | Sack Fachmedien

    Bolognesi / van de Lagemaat / Vissers Lotosphere: Software Development with Lotos

    1995. Auflage 1995
    Verlag: Springer Us
    ISBN: 978-0-7923-9529-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bolognesi / van de Lagemaat / Vissers | LOTOSphere: Software Development with LOTOS | eBook | Sack Fachmedien
    E-Book

    Bolognesi / van de Lagemaat / Vissers LOTOSphere: Software Development with LOTOS

    Erscheinungsjahr 2012
    Verlag: Springer US
    ISBN: 978-1-4615-2203-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bolognesi / Vissers / van de Lagemaat | LOTOSphere: Software Development with LOTOS | Buch | Sack Fachmedien

    Bolognesi / Vissers / van de Lagemaat LOTOSphere: Software Development with LOTOS

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5924-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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