Copied Formal Methods and Software Engineering
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Endogenous Growth in Historical Perspective
$89.00
Anti-Apartheid and the Emergence of a Global Civil Society
$39.99
Practical Opto-Electronics
$139.00
Shiga toxins
$84.99
Projektmanagement in der industriellen Forschung und Entwicklung
$59.99
A Theory of Social Action
$219.99
Cultures of the Lusophone Black Atlantic
$109.99
Structure and Dynamics of Partially Solidified Systems
$219.99
Principles of Diabetes Mellitus
$199.00
Only One You
$3.71
Foamy Viruses
$129.00
Data and Information in Online Environments
$84.99
Managing Value Propositions in Service Ecosystems
$39.99
Tutorium Analysis 2 und Lineare Algebra 2
$19.99
The Illusion of Well-Being
$109.99
Analytical and Stochastic Modeling Techniques and Applications
$39.99
IoT as a Service
$54.99
Leitfaden der Krankenpflege in Frage und Antwort
$44.99
Physicochemical Aspects of Polymer Surfaces
$84.99
Five Little Dinosaurs
$5.24
Mobile Wireless Middleware, Operating Systems, and Applications
$54.99
Groundwater Resources Development and Planning in the Semi-Arid Region
$129.99
Introduction to the Theory of Collisions of Electrons with Atoms and Molecules
$79.99
Erziehungswissenschaftliche Jugendforschung
$59.99
Science and the Modern World
$39.99
Sexual Perversions, 16701890
$39.99
Advances on P2P, Parallel, Grid, Cloud and Internet Computing
$379.99
Perspectives in Southern Hemisphere Limnology
$74.99
Oscar Wilde
$19.99
Risk Assessment as a Tool for Water Resources Decision-Making in Central Asia
$219.99
Directions in Electromagnetic Wave Modeling
$219.99
Productivity, Efficiency, and Economic Growth in the Asia-Pacific Region
$129.00
Wilma Unlimited
$7.46
Aktuelle Diskurse in der Sozialwirtschaft V
$74.99
Distressed Mergers & Acquisitions
$54.99
International Handbook of Career Guidance
$249.99
Everyday Thoughts about Nature
$109.99
Michael Dummett
$129.00
Einfhrung in die Genetische Epidemiologie
$39.99
Sequencing Theory
$54.99
