Електронна книга > Наука > Техника > Электроника, Электротехника, Телекоммуникации > Teruo Higashino & Tadanori Mizuno: Formal Description Techniques and Protocol Specification, Testing and Verification (PDF)

Teruo Higashino & Tadanori Mizuno
Formal Description Techniques and Protocol Specification, Testing and Verification [PDF ebook]
FORTE X / PSTV XVII ’97

поддержка

Обложка Teruo Higashino & Tadanori Mizuno: Formal Description Techniques and Protocol Specification, Testing and Verification (PDF)

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.

€230.35

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат PDF ● ISBN 9780387352718 ● издатель Springer US ● опубликованный 2013 ● Загружаемые 3 раз ● валюта EUR ● Код товара 4677882 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

18 519 Электронные книги в этой категории

Обложка Malgorzata Chrzanowska-Jeske & Kirsten Weide-Zaage: Semiconductor Devices in Harsh Conditions

Malgorzata Chrzanowska-Jeske & Kirsten Weide-Zaage: Semiconductor Devices in Harsh Conditions

This book introduces the reader to a number of challenges for the operation of electronic devices in various harsh environmental conditions. While some chapters focus on measuring and understanding t …

Обложка Bashir Al-Hashimi: The Art of Simulation Using PSPICEAnalog and Digital

Bashir Al-Hashimi: The Art of Simulation Using PSPICEAnalog and Digital

This comprehensive volume covers both elementary and advanced analog and digital circuit simulation using PSpice. The text includes many worked examples, circuit diagrams, tables, and code listings. …

Обложка Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

Обложка Martin J N (University of Huddersfield, West Yorkshire, United Kingdom) Sibley: Modern Telecommunications

Martin J N (University of Huddersfield, West Yorkshire, United Kingdom) Sibley: Modern Telecommunications

Telecommunications is fundamental to modern society, with nearly everyone on the planet having access to a mobile phone, Wi-Fi, or satellite and terrestrial broadcast systems. This book is a concise …

Обложка Jerry C. (Technical Press, Morgan Hill, California, USA) Whitaker: Microelectronics

Jerry C. (Technical Press, Morgan Hill, California, USA) Whitaker: Microelectronics

When it comes to electronics, demand grows as technology shrinks. From consumer and industrial markets to military and aerospace applications, the call is for more functionality in smaller and smalle …

Обложка Ali Diab: Self-Organized Mobile Communication Technologies and Techniques for Network Optimization

Ali Diab: Self-Organized Mobile Communication Technologies and Techniques for Network Optimization

Обложка Michael A. Brown Sr.: Solutions for High-Touch Communications in a High-Tech World

Michael A. Brown Sr.: Solutions for High-Touch Communications in a High-Tech World

Обложка Amit (National University of Singapore, Singapore) Banerjee & Chinmay (BITS Mesra, Jharkhand, India) Chakraborty: Artificial Intelligence and the Fourth Industrial Revolution

Amit (National University of Singapore, Singapore) Banerjee & Chinmay (BITS Mesra, Jharkhand, India) Chakraborty: Artificial Intelligence and the Fourth Industrial Revolution

This book presents the overall technology spectrum in artificial intelligence (AI) and the Fourth Industrial Revolution, which is set to revolutionize the world. It discusses their various aspects an …

Обложка Johannes Edelmann & Peter (Munich University of Applied Sciences, Department of Mechanical, Automotive and Aeronautical Engineering, Munchen, Germany) Pfeffer: Advanced Vehicle Control

Johannes Edelmann & Peter (Munich University of Applied Sciences, Department of Mechanical, Automotive and Aeronautical Engineering, Munchen, Germany) Pfeffer: Advanced Vehicle Control

The AVEC symposium is a leading international conference in the fields of vehicle dynamics and advanced vehicle control, bringing together scientists and engineers from academia and automotive indust …

Обложка Tertulien (IEEE, Canada) Ndjountche: Data Converters, Phase-Locked Loops, and Their Applications

Tertulien (IEEE, Canada) Ndjountche: Data Converters, Phase-Locked Loops, and Their Applications

With a focus on designing and verifying CMOS analog integrated circuits, the book reviews design techniques for mixed-signal building blocks, such as Nyquist and oversampling data converters, and cir …

Следущая страница >>>