Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Formal Description Techniques and Protocol Specification, Testing and Verification

- FORTE X / PSTV XVII '97

Über Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781475752601
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 550
  • Veröffentlicht:
  • 11. Januar 2013
  • Ausgabe:
  • 11997
  • Abmessungen:
  • 155x235x29 mm.
  • Gewicht:
  • 860 g.
  Versandkostenfrei
  Sofort lieferbar

Beschreibung von Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Kund*innenbewertungen von Formal Description Techniques and Protocol Specification, Testing and Verification



Ähnliche Bücher finden
Das Buch Formal Description Techniques and Protocol Specification, Testing and Verification ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.