Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development 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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Optical Network Design and Modeling
$39.99
A Thermodynamic Approach to Water Geothermometry
$129.00
Planung und Auswertung von Untersuchungen im Rahmen des allgemeinen linearen Modells
$69.99
A Rehabilitated Estuarine Ecosystem
$169.99
Die Missbildungen und Anomalien der Nase und des Nasenrachenraumes
$59.99
Technologie und Wettbewerbsvorteile
$59.99
Arsenic Toxicity Remediation: Biotechnological Approaches
$169.99
Die Wrmeausdehnung fester und flssiger Stoffe
$59.99
Ghostwriting and the Ethics of Authenticity
$99.00
Operative Techniques in Coronary Artery Bypass Surgery
$69.99
Physics Up to 200 TeV
$54.99
Systems, Smart Technologies and Innovation for Society
$199.99
Scientific Workflows
$109.99
Elektronenmikroskopie
$44.99
OOIS98
$54.99
Transactional Machine Learning with Data Streams and AutoML
$69.99
Universal Access in Human-Computer Interaction. Applications and Practice
$54.99
Consecutive Interpreting
$109.99
Ma und Wahrscheinlichkeit
$39.99
Treatment of Burns
$109.99
Versorgungskonzepte fr Menschen mit Demenz
$49.99
Robotik in der Wirtschaftsinformatik
$64.99
Entrepreneurial Music Education
$39.99
Introduction to Kinematics and Dynamics of Machinery
$64.99
Rapid Detection of Infectious Agents
$169.00
Global Beauty, Local Bodies
$39.99
An Introduction to Python and Computer Programming
$179.99
The Riddles of Harry Potter
$54.99
Tuberkulose-Jahrbuch 1951/52
$44.99
Financial Inclusion and Digital Transformation Regulatory Practices in Selected SADC Countries
$179.99
Road Vehicle Automation 9
$169.00
Regenerative Energietechnik
$44.99
Geology of North Africa and the Mediterranean: Sedimentary Basins and Georesources
$169.99
British Political Facts
$74.99
Object-Oriented Technology: ECOOP 97 Workshop Reader
$39.99
Trennung von der Organisation
$74.99
Investitionsrechnung fr Praktiker
$54.99
Mathematics of Open Fluid Systems
$89.99
Entwicklung der irdischen Atmosphre durch die Evolution der Biosphre
$54.99
Bewertungs- und Entscheidungsrelevanz der Humankapitalberichterstattung
$74.99
