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:
  • 9780412820601
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 550
  • Veröffentlicht:
  • 1. Oktober 1997
  • Ausgabe:
  • 1997
  • Abmessungen:
  • 234x156x31 mm.
  • Gewicht:
  • 2170 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

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.