Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
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
|
|
$34.99 | $34.99 |
|
$34.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Money Demand in Europe
$54.99
Das groe Euro-Handbuch
$59.99
The Public Wealth of Nations
$32.99
Understanding Demographic Transitions
$89.00
Harnorgane Mnnliche Geschlechtsorgane
$44.99
Macroeconomic Modelling of R&D and Innovation Policies
$49.99
Energieeffiziente elektrische Antriebe
$37.99
Random Destinations
$49.99
Recent Advances in Lichenology
$169.99
Handbuch der Baugeologie und Geotechnik
$229.99
Biochemistry and Genetics of Recq-Helicases
$109.99
Ablauforientierte Produktionslogistik
$49.99
Konzernverrechnungspreise fr multinationale Unternehmen
$59.99
Kulturfrderung
$64.99
Landscape, Association, Empire
$159.99
Reactions on Polymers
$169.99
Smart Adaptive Systems on Silicon
$84.99
The Psychology of Emotions
$169.99
Auswirkungen der Atemmechanik auf den Kreislauf
$59.99
National Geographic Kids Readers: Pandas
$4.46
Machtkonzentration in der Multimediagesellschaft?
$69.99
Tomita-Takesaki Theory in Algebras of Unbounded Operators
$44.99
Recyclingtechnik
$59.99
Information Systems, E-learning, and Knowledge Management Research
$109.99
Zuverlssigkeitsbewertung technischer Systeme
$49.99
Spacetime
$169.00
Bilanzplanung und Bilanzgestaltung
$74.99
New Concepts II
$39.99
Quantum Hamilton-Jacobi Formalism
$39.99
Ergnzungsheft zum Referatenteil der Monatsschrift fr Unfallheilkunde
$59.99
Financing Services of General Economic Interest
$109.99
Power Estimation and Optimization Methodologies for VLIW-based Embedded Systems
$119.00
Kepler Problem in the Presence of Dark Energy, and the Cosmic Local Flow
$54.99
Fit in Biochemie
$44.99
Geronimo Stilton The Kingdom of Fantasy: The Island of Dragons (#12) (Hardcover)
$13.49
JBoss 3.2 Deployment and Administration
$39.99
La luz y los colores para los ms curiosos
$5.96
Shallow and Deep Learning Principles
$149.00
Optical Technologies for Extreme-Ultraviolet and Soft X-ray Coherent Sources
$109.99
Value Based and Intelligent Asset Management
$109.99
