Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Chapman and Hall
SKU: 9780412820601
Price: 210.57 EUR
Availability: InStock

FORTE X / PSTV XVII 97

Автор: Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Език:

Корици: С твърди корици

Издател: Chapman and Hall

Наличност: Външен склад

Изпращаме след 10-13 дни

210.57 € 411.83 лв

Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communicati...

Информация за книгата

Автор

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1997

страници

550

EAN

9780412820601

ISBN

0412820609

Enbook ID

01983571

Издател

Chapman and Hall

Теглоt

2170

Размери

156 x 234 x 35

Пълно описание

Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, and Logic).

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII 97

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също