Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
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
Region and State in Nineteenth-Century Europe
$54.99
Doppelt benachteiligt?
$39.99
Gegenwartsgesellschaften: Polen
$69.95
Typed Lambda Calculi and Applications
$39.99
The Visible Hand
$54.99
Metalldrcken
$59.99
The White Other in American Intermarriage Stories, 19452008
$54.99
Computational Proximity
$109.99
Update in Pediatrics
$89.00
Duck for President by Doreen Cronin
$19.99
Functions of Biological Membranes
$39.99
Multifaceted Carboxymethyl Chitosan Derivatives: Properties and Biomedical Applications
$299.99
Nutrition and Behavior
$84.99
Studies in the Economics of Central America
$54.99
Pharmacology of Fluorides
$109.99
Die Folgen des Klimawandels
$24.99
Brgerschaftliches Engagement und Erwerbsarbeit
$64.99
Handbuch Europische Union
$179.99
Theory and Research in Behavioral Pediatrics
$109.99
Novel Applications of Intelligent Systems
$109.99
Law and Practice of Foreign Arbitration and Enforcement of Foreign Arbitral Awards in Pakistan
$34.99
Communicating Climate Change Information for Decision-Making
$99.00
Introduction to Morphogenetic Computing
$109.99
Quality of Life in South Africa
$169.99
Cold Plasma Waves
$84.99
PMP in Depth
$44.99
Internationalising China's Financial Markets
$54.99
Measuring Human Trafficking
$109.99
A Theory and History of Ruralurban Governance in China
$109.99
Data Integration in the Life Sciences
$54.99
Constructivity in Computer Science
$39.99
Funktionelle MRT in Psychiatrie und Neurologie
$54.99
Advances in Animal Welfare Science 1984
$169.99
Islamic Design: A Mathematical Approach
$159.99
Optical Supercomputing
$69.99
The Long, Hot Summer of 1967
$99.00
Ewing Sarcoma
$199.99
Leitfaden der deutschen Sozialversicherung
$59.99
Management and Leadership for a Sustainable Africa, Volume 1
$179.99
Beginning Android C++ Game Development
$44.99
