Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
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
Nuclear Tests
$169.99
Verknpfte Welten
$39.99
Die Mercerisation der Baumwolle und die Appretur der mercerisierten Gewebe
$59.99
Ergometrie
$59.99
Die Ermittlung der Faktorstruktur
$49.99
Black Women, Academe, and the Tenure Process in the United States and the Caribbean
$99.99
ExpertInnen machen Schule
$59.99
The Influence of Edmund D. Pellegrinos Philosophy of Medicine
$109.99
Psychiatric Consequences of Brain Disease in the Elderly: A Focus on Management
$54.99
STEM Education in the Junior Secondary
$84.99
konomische Bewertung wasserwirtschaftlicher Systeme
$39.99
iPhone Games Projects
$39.99
Advances in Model and Data Engineering in the Digitalization Era
$84.99
Elements of Statistics for the Life and Social Sciences
$39.99
Die Bestimmung des Agglomerationszustandes von trockenen und dispergierten Pigmenten und dessen Zusa
$49.99
Structuralism and the Logic of Dissent
$169.99
Novel NMR and EPR Techniques
$39.99
Handbook of Response to Intervention
$269.00
S3-Leitlinie Angststrungen
$69.99
The Upper Atmosphere
$54.99
Produktions- und Logistikmanagement in Virtuellen Unternehmen und Unternehmensnetzwerken
$109.00
Stochastic Calculus of Variations in Mathematical Finance
$39.99
Neue Impulse fr die soziologische Kommunikationstheorie
$59.99
Nonlinear Fokker-Planck Flows and their Probabilistic Counterparts
$54.99
Measurement of Quarkonium Polarization to Probe QCD at the LHC
$54.99
Werthaltungen von Lehrkrften in der Erwachsenenbildung
$59.99
From Brownian Motion to Schrdingers Equation
$109.99
Hybrid Factories in Latin America
$109.99
Thematisches Verzeichnis der musikalischen Werke Ignaz Franz von Beeckes (17331803)
$49.99
Soils and Foundations for Architects and Engineers
$129.00
Migrationssteuerung und Konfigurationsverwaltung fr verteilte objektorientierte Anwendungen
$69.99
Advances in Applied Mechanical Engineering
$249.99
Remote Sensing Image Analysis: Including the Spatial Domain
$84.99
Beginning JavaScript Charts
$39.99
Geschftsmodell-Innovation
$99.99
Kinder im Stress
$34.99
Knstliche Intelligenz fr Sales, Marketing und Service
$54.99
Timing Jitter in Time-of-Flight Range Imaging Cameras
$169.99
Advances in CAD/CAM Workstations
$109.99
Stanztechnik
$59.99
