Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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
|
|
$54.99 | $54.99 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Queueing Theory with Applications to Packet Telecommunication
$84.99
Betriebswirtschaftslehre des Handels
$59.99
The Political Dimension of Economic Growth
$169.99
Wirtschaftlichkeit wissensbasierter Systeme
$44.99
Quantitative Easing and Its Impact in the US, Japan, the UK and Europe
$49.99
One Is a Snail, Ten Is a Crab
$5.21
History of Meteorology to 1800
$36.00
Applications of Enzyme Biotechnology
$219.99
We Hunt The Flame Sands of Arawiya Series 1 by Hafsah Faizal
$13.99
Kompetenzorientierung in Schulbchern fr die Naturwissenschaften
$59.99
Ovarian Follicular and Corpus Luteum Function
$84.99
Wrterbuch zur Verhaltensbiologie der Tiere und des Menschen
$119.99
Domestic Violence Laws in the United States and India
$39.99
Pressurized Fluidized Bed Combustion
$329.99
Enabling Real-Time Business Intelligence
$49.99
Research and Advanced Technology for Digital Libraries
$84.99
Manual of Pathology of the Human Placenta
$119.00
Radical Left Parties and National Identity in Spain, Italy and Portugal
$129.99
Quantum Semiconductor Devices and Technologies
$109.99
On the Move to Meaningful Internet Systems: OTM 2011
$39.99
Die Heizerschule
$79.99
Scholastic Early Learners: Trace and Learn 123
$9.99
Dermal Tumors: The Basics
$44.99
AIDS-Prvention und Sexualverhalten
$44.99
Sales Performance Management
$49.99
Shrinkage Estimation for Mean and Covariance Matrices
$64.99
Technology Management
$17.99
Thoracic Radiology
$109.99
Tin and Solder Plating in the Semiconductor Industry
$249.99
Behavioral Neurogenomics
$159.99
Ethnobotany for Beginners
$79.99
Quasi-projective Moduli for Polarized Manifolds
$109.00
Handbuch der gefhrlichen Gter. Band 1: Merkbltter 1-414
$379.99
Computer Hacking
$39.99
Primary and Metastatic Liver Tumors
$139.99
Knig, Brgermeister, Bundeskanzler?
$59.99
Die Rntgen-Strukturanalyse einiger biochemisch interessanter Molekle
$59.99
Migration, Mining, and the African Diaspora
$54.99
Pattern Recognition
$79.99
