Електронна книга > Наука > Інформатика > Інформатика > Juliano Iyoda & Leonardo de Moura: Formal Methods: Foundations and Applications (PDF)

Juliano Iyoda & Leonardo de Moura
Formal Methods: Foundations and Applications [PDF ebook]
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 – October 4, 2013. Proceedings

Підтримка

Обкладинка Juliano Iyoda & Leonardo de Moura: Formal Methods: Foundations and Applications (PDF)

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

€51.57

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● ISBN 9783642410710 ● Редактор Juliano Iyoda & Leonardo de Moura ● Видавець Springer Berlin Heidelberg ● Опубліковано 2013 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6378607 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Juliano Iyoda Leonardo de Moura

16 384 Електронні книги в цій категорі

Обкладинка Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Обкладинка Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

Обкладинка Joanna Kulesza: International Internet Law

Joanna Kulesza: International Internet Law

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

Обкладинка Ying Bai: The Windows Serial Port Programming Handbook

Ying Bai: The Windows Serial Port Programming Handbook

The popularity of serial communications demands that additional serial port interfaces be developed to meet the expanding requirements of users. The Windows Serial Port Programming Handbook illustrat …

Обкладинка Prem Timsina: Building Transformer Models with PyTorch 2.0

Prem Timsina: Building Transformer Models with PyTorch 2.0

This book covers transformer architecture for various applications including NLP, computer vision, speech processing, and predictive modeling with tabular data. It is a valuable resource for anyone l …

Обкладинка Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

The research and exploitation of optoelectronic properties in the industrial branch of electronics is becoming more popular each day due to the important role they play in the development of a large …

Обкладинка Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

The proclivity of today’s technology to think like humans may be seen in new developing disciplines such as neural computing, fuzzy logic, evolutionary computation, machine learning, and probabilisti …

Обкладинка Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Обкладинка Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation

Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation

Build a continuously learning and adapting organization that can extract increasing levels of business, customer and operational value from the amalgamation of data and advanced analytics such as AI …

Обкладинка Sharon Yull: BTEC National for IT Practitioners: Core units

Sharon Yull: BTEC National for IT Practitioners: Core units

BTEC National for IT Practitioners has been written specifically to cover the compulsory core units and selected specialist units of the BTEC National specifications. This book provides core unit cov …

Наступна сторінка >>>