Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
