Copied Formal Methods and Software Engineering
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Marine Clastic Sedimentology
$129.00
Die Militrvorlage von 1892 und der preuische Verfassungskonflikt von 1862 bis 1866
$59.99
Enablers of Organisational Learning, Knowledge Management, and Innovation
$159.99
After-School Programs to Promote Positive Youth Development
$44.99
The Economics of Retailing
$129.99
Der Eisenbahngtertarif in der Volkswirtschaft
$59.99
Tourism Management, Marketing, and Development
$109.99
Designing the European Union
$54.99
Allgemeine Elektrotechnik, Nachrichtentechnik, Impulstechnik fr UPN-Rechner
$84.99
Bauobjektberwachung
$89.99
A World of Homes
$3.71
Television and the Genetic Imaginary
$139.99
Claimmanagement
$17.99
Global Navigation Satellite Systems and Their Applications
$44.99
Husserl and the Question of Relativism
$84.99
The Gingerbread Man Loose On The Fire Truck
$5.21
Sustainability Transformations, Social Transitions and Environmental Accountabilities
$169.99
Virtuality and Capabilities in a World of Ambient Intelligence
$109.99
Computer Science Logic
$39.99
Low Power Networks-on-Chip
$84.99
Excitation Spectra of Square Lattice Antiferromagnets
$109.99
Organic and Hybrid Photonic Crystals
$89.00
Einfhrung in Java
$69.95
Erdbebenbeanspruchung von Hochbauten nach verschiedenen Normen und Berechnungsverfahren
$54.99
Thomas Percivals Medical Ethics and the Invention of Medical Professionalism
$139.99
Intersemiotic Translation
$69.99
Bluetongue Viruses
$84.99
Realities of Representation
$54.99
Oncology of CNS Tumors
$219.99
Antihypertensive Therapy
$54.99
Precision Medicine in Stroke
$84.99
Theories of Neurosis
$39.99
Cyclodextrin Applications in Medicine, Food, Environment and Liquid Crystals
$109.99
Klinische Psychologie und Psychotherapie
$17.99
Environmental Change and its Implications for Population Migration
$169.99
Lights in the Sky
$27.99
Topology Design of Structures
$329.99
The Philosophical Thought of Wang Chong
$89.99
Mathematical Results in Quantum Mechanics
$84.99
The Marking Enterprise
$39.99
