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

Mathematik | Informatik

6  Treffer  für „Cavalli, Ana“
Alle Filter löschen
    Cavalli / Sarma | Sdl '97: Time for Testing | Buch | Sack Fachmedien

    Cavalli / Sarma Sdl '97: Time for Testing

    Sdl, Msc and Trends
    Erscheinungsjahr 1997
    Verlag: Elsevier Science
    ISBN: 978-0-444-82816-3
    Medium: Buch
    339,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalli / Budkowski | Protocol Test Systems VIII | Buch | Sack Fachmedien

    Cavalli / Budkowski Protocol Test Systems VIII

    Proceedings of the Ifip Wg6.1 Tc6 Eighth International Workshop on Protocol Test Systems, September 1995
    1996. Auflage 1996
    Verlag: Springer Us
    ISBN: 978-0-412-78110-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budkowski / Cavalli | Protocol Test Systems VIII | Buch | Sack Fachmedien

    Budkowski / Cavalli Protocol Test Systems VIII

    Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995
    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer US
    ISBN: 978-1-4757-6312-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budkowski / Cavalli / Najm | Formal Description Techniques and Protocol Specification, Testing and Verification | Buch | Sack Fachmedien

    Budkowski / Cavalli / Najm Formal Description Techniques and Protocol Specification, Testing and Verification

    FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 Novem
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-5262-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budkowski / Cavalli / Najm | Formal Description Techniques and Protocol Specification, Testing and Verification | Buch | Sack Fachmedien

    Budkowski / Cavalli / Najm Formal Description Techniques and Protocol Specification, Testing and Verification

    Forte XI/Pstv Xviii'98 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte XI) and Protocol Specification, Testing and Verification (Pstv XVIII) 3-6 November 1998, Paris,
    1998. Auflage 1998
    Verlag: Springer Us
    ISBN: 978-0-412-84760-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia-Alfaro / Navarro-Arribas / Cavalli | Data Privacy Management and Autonomous Spontaneous Security | Buch | Sack Fachmedien

    Garcia-Alfaro / Navarro-Arribas / Cavalli Data Privacy Management and Autonomous Spontaneous Security

    5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, Greece, September 23, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19347-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