Studiebog

Formal Description Techniques and Protocol Specification, Testing and Verification

- FORTE X / PSTV XVII ’97 (10th: IFIP TC6/WG 6.1 International Conference on Formal Description Techniques X/Protocol Specifica)

Bog E-bog

Format
Bog, hardback
Engelsk

Indgår i serie
Ifip Advances in Information and Communication Technology

Normalpris: kr. 1.499,95

Medlemspris: kr. 1.439,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 09-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

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). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal550
Udgivelsesdato31-10-1997
ISBN139780412820601
Forlag Chapman And Hall
FormatHardback

Størrelse og vægt

10 cm

15,6 cm

23,4 cm

Formal Description Techniques and Protocol Specification, Testing and Verification

- FORTE X / PSTV XVII ’97 (10th: IFIP TC6/WG 6.1 International Conference on Formal Description Techniques X/Protocol Specifica)

Findes i disse kategorier...

Se andre, der handler om...