Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030030445
Condition
New
Product Description

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications. Chapter TeSSLa: Temporal Stream-Based Specification Language is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Available Colors
Available Sizes
1 Offer Price Range: $49.99 - $49.99
BEST PRICE

Single Product Purchase

$49.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$49.99 $49.99

$49.99
See Site In stock Visit Store

Similar Products

Adhesion 11

$39.99

Functional Neuroscience

$54.99

Vereinbarungen zur einheitlichen Untersuchung und Beurtheilung von Nahrungs- und Genussmitteln sowie

$59.99

Transmission Electron Microscopy of Semiconductor Nanostructures

$39.99

Beginning Oracle SQL for Oracle Database 18c

$54.99

Network Management in Wired and Wireless Networks

$169.99

Mining Spatio-Temporal Information Systems

$109.99

Frontiers in Cerebral Vascular Biology

$39.99

Prostaglandins and Inflammation

$54.99

C++ for Lazy Programmers

$34.99

ROBOT 2017: Third Iberian Robotics Conference

$219.99

A Primer on the Kinematics of Discrete Elastic Rods

$64.99

Artificial Intelligence over Infrared Images for Medical Applications and Medical Image Assisted Bio

$59.99

Safety for Future Transport and Mobility

$149.00

Knowledge Actors and Transnational Governance

$54.99

Geometrical Methods of Nonlinear Analysis

$54.99

The Design of Communicating Systems

$109.99

Atlas of Neoplastic Pulmonary Disease

$119.00

ADO Examples and Best Practices

$34.99

Induction Chemotherapy

$119.00

Engineering and Technology Talent for Innovation and Knowledge-Based Economies

$109.99

Highly Conducting One-Dimensional Solids

$84.99

Law and Practice of Debt Finance in Modern China

$139.99

Die willkrlich bewegbare knstliche Hand

$74.99

Integrated Reaction and Separation Operations

$84.99

Advances in Cryptology CRYPTO 2024

$109.00

Women's Literary Creativity and the Female Body

$39.99

Computer Vision -- ACCV 2010 Workshops

$54.99

Tools for High Performance Computing 2015

$109.99

Transgenic Wheat, Barley and Oats

$109.99

The Flow of Organizational Culture

$139.99

The Lacrimal System

$109.99

Beginning ASP.NET C# 2005

$49.99

Mensch, Menschen, Typen

$49.99

Electronic States of Molecules and Atom Clusters

$54.99

Geometries and Groups

$84.99

Marihuana and Medicine

$169.00

Financial Transmission Rights

$249.99

Andrology

$109.00

Friedenserziehung

$19.99