Sách điện tử > Khoa học > Kỹ thuật / Kỹ thuật > Điện tử, Kỹ thuật điện > Gay & Ravara: Behavioural Types (PDF)

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

Ủng hộ

Bìa của 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

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● Trang 250 ● ISBN 9788793519817 ● Biên tập viên Gay & Ravara ● Nhà xuất bản River Publishers ● Được phát hành 2017 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6178487 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Simon Gay Antonio Ravara Gay Ravara

19.082 Ebooks trong thể loại này

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của Jae Joon Han & Seungju Han: MPEG-V

Jae Joon Han & Seungju Han: MPEG-V

This book is the first to cover the recently developed MPEG-V standard, explaining the fundamentals of each part of the technology and exploring potential applications. Written by experts in the fiel …

Bìa của 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 …

Bìa của Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Bìa của P. S. (Florida Atlantic University, Boca Raton, Florida, USA) Neelakanta: Information-Theoretic Aspects of Neural Networks

P. S. (Florida Atlantic University, Boca Raton, Florida, USA) Neelakanta: Information-Theoretic Aspects of Neural Networks

Information theoretics vis-a-vis neural networks generally embodies parametric entities and conceptual bases pertinent to memory considerations and information storage, information-theoretic based co …

Bìa của Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Information Science and Electronic Engineering is a collection of contributions drawn from the International Conference of Electronic Engineering and Information Science (ICEEIS 2016) held January 4- …

Bìa của R.P. Donovan: Particle Control for Semiconductor Manufacturing

R.P. Donovan: Particle Control for Semiconductor Manufacturing

There is something Alice-in-Wonderlandish about powerful and vital computer systems being shut down by a microscopic mote that a hay-feverist wouldn”t sneeze at, but as computer chips get smaller, s …

Bìa của Mantian Hu & Ye Ouyang: Big Data Applications in the Telecommunications Industry

Mantian Hu & Ye Ouyang: Big Data Applications in the Telecommunications Industry

Trang tiếp theo >>>