电子书 > 科学 > 工程/技术 > 电子，电气工程 > Gay & Ravara: Behavioural Types (PDF)

Gay & Ravara
Behavioural Types [PDF ebook]
From Theory to Tools

支持

的封面 Gay & Ravara: Behavioural Types (PDF)

Behavioral type systems in programming languages support the specification and verification of programs’ properties beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software.Behavioural Types: From Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioral type systems, this text is a valuable reference for researchers in the field as well as an introduction to the subject for graduate students and software developers.

€121.72

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● 网页 250 ● ISBN 9788793519817 ● 编辑 Gay & Ravara ● 出版者 River Publishers ● 发布时间 2017 ● 下载 3 时 ● 货币 EUR ● ID 6178487 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Simon Gay Antonio Ravara Gay Ravara

18,802 此类电子书

的封面 Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …

的封面 J Ronayne: Integrated Services Digital Network

J Ronayne: Integrated Services Digital Network

An introduction to ‘ISDN’ which brings the technology up-to-date, incorporating developments in ‘ATM’, ‘SDH’ and Broadband ‘ISDN’. This book is suitable for self-learning communications professionals …

的封面 Baoxin (Arizona State University, Tempe, USA) Li & Ragav (Arizona State University, Tempe, USA) Venkatesan: Convolutional Neural Networks in Visual Computing

Baoxin (Arizona State University, Tempe, USA) Li & Ragav (Arizona State University, Tempe, USA) Venkatesan: Convolutional Neural Networks in Visual Computing

This book covers the fundamentals in designing and deploying techniques using deep architectures. It is intended to serve as a beginner”s guide to engineers or students who want to have a quick star …

的封面 Thomas Sikina: Introduction to Active Phased Arrays

Thomas Sikina: Introduction to Active Phased Arrays

Written by a renowned expert in the field, this book presents the fundamentals of phased array systems, including contemporary and advanced methods. It features applications ranging from advanced and …

的封面 Gian Marco Iodice: TinyML Cookbook

Gian Marco Iodice: TinyML Cookbook

<p><b>Over 70 recipes to help you develop smart applications on Arduino Nano 33 BLE Sense, Raspberry Pi Pico, and Spark Fun Red Board Artemis Nano using the power of machine learning Purc …

的封面 Chiranji Lal Chowdhary: Intelligent Systems

Chiranji Lal Chowdhary: Intelligent Systems

This volume helps to fill the gap between data analytics, image processing, and soft computing practices. Soft computing methods are used to focus on data analytics and image processing to develop go …

的封面 John Stonham: Digital Logic Techniques

John Stonham: Digital Logic Techniques

The third edition of Digital Logic Techniques provides a clear and comprehensive treatment of the representation of data, operations on data, combinational logic design, sequential logic, computer ar …

的封面 S.B. Furber: VLSI Risc Architecture and Organization

S.B. Furber: VLSI Risc Architecture and Organization

With the expectation that architectural improvements will play a significant role inadvancing processor performance, it is critical for readers to maintain an up-to-date, unified overview of technolo …

的封面 Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

的封面 Edmond J. Murphy: Integrated Optical Circuits and Components

Edmond J. Murphy: Integrated Optical Circuits and Components

Updates the advancements made in the level of achievable integration of optical circuits and components in the last ten years–highlighting the commercial success of particular devices as well as int …