Formal Description Techniques and Protocol Specification, Testing and Verification: F... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik teknik
  5. Netværkskomponenter
  6. Signalbehandling
  7. Formal Description Techniques and Protocol Specification,...

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

(Bog, Paperback / softback, Engelsk)
Forfattere: Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Forlag: Springer-Verlag New York Inc.

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Elektronik teknik Netværkskomponenter Signalbehandling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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).

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag New York Inc.
Forfattere Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 1997
Udgivelsesdato 11-01-2013
Første udgivelsesår 2013
Serie IFIP Advances in Information and Communication Technology
Illustrationer XI, 550 p.
Originalsprog United States
Sideantal 550
Indbinding Paperback / softback
Forlag Springer-Verlag New York Inc.
Sideoplysninger 550 pages, XI, 550 p.
Mål 235 x 155
ISBN-13 / EAN-13 9781475752601