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

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

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

Single Product Purchase

$34.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
$34.99 $34.99

$34.99
See Site In stock Visit Store

Similar Products

101 Ways to be an Eco Hero 1 by Kati Eaton

$14.99

Die wissenschaftliche Erforschung des Gehirns: Das Ganze und seine Teil

$54.99

Talk With Me: Talk and Sing ABCs / Hablemos y cantemos el ABC

$3.71

Advances in Biomedical Sensing, Measurements, Instrumentation and Systems

$129.00

Pound, Frost, Moore, and Poetic Precision

$69.99

Foucault-Handbuch

$119.99

Finanzierungstheorie

$19.99

Parallel Processing Techniques for Simulation

$39.99

4th Kuala Lumpur International Conference on Biomedical Engineering 2008

$329.99

EU Peacebuilding Missions

$44.99

Agent-Based Modelling of Social Networks in LabourEducation Market System

$54.99

Responsible Corporate Leadership Towards Attainment of Sustainable Development Goals

$169.99

Institutionelle Herausforderungen im Neuen Europa

$59.99

Regelungen Analyse und technischer Entwurf

$39.99

Handbook of Literacy in Africa

$169.99

Die Sonnenuhren

$59.99

Computer Network Security

$39.99

APM Best Practices

$44.99

Production of Biofuels and Chemicals with Pyrolysis

$219.99

Why Minority Governments Work

$119.99

Privacy Enhancing Technologies

$39.99

The Emperor's Riddle

$6.71

Psychiatric Power

$54.99

Re-Irradiation: New Frontiers

$199.99

The Dat Technical Service Handbook

$169.99

Radiology Illustrated: Spine

$149.00

Firm Dynamism in East Asia

$109.99

Dragon Girls: Hana the Thunder Dragon

$4.49

A Brief Response on the Controversies over Shangdi, Tianshen and Linghun

$199.99

Mathematik ist schn

$19.99

Gas-Adsorption Chromatography

$39.99

Brazilian Deep-Sea Biodiversity

$109.99

Eighteenth International Seaweed Symposium

$219.99

Knstliche Intelligenz und schlanke Produktion

$49.99

Surplus

$39.99

Child and Adult Development

$199.99

Kulturpolitik und nationale Identitt

$39.99

Interkulturelle Trainings - Eine exemplarische Konzeptentwicklung fr die neue Pflegeausbildung

$54.99

Magnesium Technology 2022

$299.99

Neuroscience for Organizational Communication

$49.99