Communication Protocol Specification and Verification, Richard Lai; Ajin Jirachiefpattana

Автор: Jandt Fred E.
Название: An Introduction to Intercultural Communication: Identities in a Global Community
ISBN: 1483344304 ISBN-13(EAN): 9781483344300
Издательство: Sage Publications
Рейтинг:
Цена: 91870.00 T
Наличие на складе: Поставка под заказ.
Описание: Latest edition of the best-selling student introduction to intercultural communication. Global in focus, full of pedagogy and adopted on courses across the world.

Автор: Lai
Название: Communication Protocol Specification and Verification
ISBN: 0792382846 ISBN-13(EAN): 9780792382843
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.

Автор: S.T. Vuong; Samuel T. Chanson
Название: Protocol Specification, Testing and Verification XIV
ISBN: 0412636409 ISBN-13(EAN): 9780412636400
Издательство: Springer
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents research worldwide on communications protocols, emphasizing specification and compliance testing. This book presents the proceedings of the fourteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing and held in Vancouver, Canada.

Автор: Stan Budkowski; Ana Cavalli; Elie Najm
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 0412847604 ISBN-13(EAN): 9780412847608
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Addresses formal description techniques applicable to distributed systems and communication protocols. This title presents the state of the art in theory, application, tools and industrialization of FDTs. It features FDT-based system and protocol engineering, FDT-application to distributed systems, and protocol engineering.

Автор: Philippe Palanque; Remi Bastide
Название: Design, Specification and Verification of Interactive Systems `95
ISBN: 3211827390 ISBN-13(EAN): 9783211827390
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research.

Автор: Michael D. Harrison; Juan C. Torres
Название: Design, Specification and Verification of Interactive Systems `97
ISBN: 3211830553 ISBN-13(EAN): 9783211830550
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Автор: Panos Markopoulos; Peter Johnson
Название: Design, Specification and Verification of Interactive Systems `98
ISBN: 3211832122 ISBN-13(EAN): 9783211832127
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Does modelling, formal or otherwise, play a role in designing interactive systems? This development poses a significant challenge to modelling approaches used for the design of interactive systems.

Автор: D.J. Duke; A. Puerta
Название: Design, Specification and Verification of Interactive Systems `99
ISBN: 3211834052 ISBN-13(EAN): 9783211834053
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS`99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999.

Название: Innovations in social marketing and public health communication
ISBN: 3319198688 ISBN-13(EAN): 9783319198682
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Innovations in Social Marketing and Public Health Communication

Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 1475752601 ISBN-13(EAN): 9781475752601
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).

Автор: Stan Budkowski; Ana Cavalli; Elie Najm
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 1475752628 ISBN-13(EAN): 9781475752625
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: S.T. Vuong; Samuel T. Chanson
Название: Protocol Specification, Testing and Verification XIV
ISBN: 1475763085 ISBN-13(EAN): 9781475763089
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks". This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech- niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna- tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main objective of this PSTV symposium is to provide a forum for researchers and practitioners in industry and academia interested in advances in using formal methods and methodologies to specify, develop, test and verify communication protocols and distributed systems. This year's PSTV symposium enjoys a nice mixture of formal methods and practical issues in network protocols through the invited addresses of three outstanding speakers, Ed Brinksma (University of Twente), Raj Jain (Ohio State University) and David Tennenhouse (MIT) as well as 5 tutorials, in addition to 9 techni- cal sessions and two practical panel sessions. The 5 tutorials are offered on the first day in two parallel tracks for intensive exposure on hot topics of current interest. This year, out of 51 submissions the Program Committee selected 18 regular papers (with an allotment of 16 pages in the Proceedings) and 9 mini-papers (of 8 pages).