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
9783642410703
Condition
New
Product Description

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.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Computer Vision ACCV 2024

$249.99

Food Engineering: Integrated Approaches

$169.99

Faunal Heritage of Rajasthan, India

$219.99

Frherkennung von konvergierenden Technologien

$74.99

Goosebumps SlappyWorld: Revenge of the Invisible Boy (#9)

$5.24

Neue Kohlenstoffmaterialien

$49.99

Literature, Gender, and Nation-Building in Nineteenth-Century Egypt

$109.99

Trust and Communication

$179.99

English Pronunciation Teaching and Research

$109.99

Environmental Security Assessment and Management of Obsolete Pesticides in Southeast Europe

$219.99

Cyberstalking und Cybercrime

$39.99

Electrical Power System Protection

$84.99

Unternehmungsfhrung und Mitbestimmung

$74.99

Ingenieurgeochemie

$149.99

Neuroansthesie

$59.99

Godly Rule

$54.99

rztliche Berufsfreiheit und Kostendmpfung

$69.99

Learning Technology for Education Challenges

$54.99

Advanced Nanostructured Materials for Environmental Remediation

$169.99

Probability Distributions on Banach Spaces

$84.99

Neuro-Fuzzy and Fuzzy-Neural Applications in Telecommunications

$129.00

Hidden Biometrics

$99.00

Multivariate Approximation and Splines

$39.99

From Dust To Stars

$129.99

This Is The House That Jack Built

$6.50

Interstellar Dust and Related Topics

$39.99

Die krankhaften Geschwlste

$44.99

Beauty and the Norm

$129.99

New Developments and Applications in Sensing Technology

$169.99

Particles in the Air

$29.99

Die Bildungsfunktion des Physikunterrichtes

$59.99

The Definitive Guide to Modern Java Clients with JavaFX

$34.99

Credit Treasury

$169.99

Madeline Finn: Madeline Finn and the Therapy Dog

$6.71

Matching Properties of Deep Sub-Micron MOS Transistors

$129.00

Whole School Approaches to Sustainability

$59.99

Quantitative Models in Life Science Business

$37.99

Fast Software Encryption

$39.99

Mtterlichkeit als Beruf

$59.99

Das Schmerzproblem und Seine Forensische Bedeutung

$59.99