Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, (Paperback)
(No ratings yet)
Key item features
- Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, (Paperback)
- Author: Springer
- ISBN: 9783030021450
- Format: Paperback
- Publication Date: 2018-10-07
- Page Count: 297
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date20181007
- Pages297
- Series titleNo Series
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Tomorrow
.Order within 54 min
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $60.29
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.
The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
- Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, (Paperback)
- Author: Springer
- ISBN: 9783030021450
- Format: Paperback
- Publication Date: 2018-10-07
- Page Count: 297
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
20181007
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Information Security Applications: 13th International Workshop, Wisa 2012, Jeju Island, Korea, August 16-18, 2012, Revis, (Paperback) $54.99
$5499current price $54.99Information Security Applications: 13th International Workshop, Wisa 2012, Jeju Island, Korea, August 16-18, 2012, Revis, (Paperback)
Neural Information Processing: 20th International Conference, Iconip 2013, Daegu, Korea, November 3-7, 2013. Proceedings, (Paperback) $54.99
$5499current price $54.99Neural Information Processing: 20th International Conference, Iconip 2013, Daegu, Korea, November 3-7, 2013. Proceedings, (Paperback)
Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, R, (Paperback) $54.99
$5499current price $54.99Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, R, (Paperback)
Communications in Computer and Informati Advances in Information Security and Its Application: Third International Conference, ISA 2009, Seoul, Korea, June 25-27, Book 36, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Advances in Information Security and Its Application: Third International Conference, ISA 2009, Seoul, Korea, June 25-27, Book 36, (Paperback)
Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-2, (Paperback) $54.99
$5499current price $54.99Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-2, (Paperback)
Neural Information Processing: 20th International Conference, Iconip 2013, Daegu, Korea, November 3-7, 2013. Proceedings, (Paperback) $54.99
$5499current price $54.99Neural Information Processing: 20th International Conference, Iconip 2013, Daegu, Korea, November 3-7, 2013. Proceedings, (Paperback)
Communications in Computer and Informati Model Design and Simulation Analysis: 15th International Conference, Asiasim 2015, Jeju, Korea, November 4-7, 2015, Revi, Book 603, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Model Design and Simulation Analysis: 15th International Conference, Asiasim 2015, Jeju, Korea, November 4-7, 2015, Revi, Book 603, (Paperback)
Distributed Applications and Interoperable Systems: 16th Ifip Wg 6.1 International Conference, Dais 2016, Held as Part o, (Paperback) $54.99
$5499current price $54.99Distributed Applications and Interoperable Systems: 16th Ifip Wg 6.1 International Conference, Dais 2016, Held as Part o, (Paperback)
Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, Refsq 2017, Essen, Ger, (Paperback) $54.99
$5499current price $54.99Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, Refsq 2017, Essen, Ger, (Paperback)
Implementation and Application of Automata: 21st International Conference, Ciaa 2016, Seoul, South Korea, July 19-22, 20, (Paperback) $54.99
$5499current price $54.99Implementation and Application of Automata: 21st International Conference, Ciaa 2016, Seoul, South Korea, July 19-22, 20, (Paperback)
Requirements Engineering: Foundation for Software Quality: 21st International Working Conference, Refsq 2015, Essen, Ger, (Paperback) $54.99
$5499current price $54.99Requirements Engineering: Foundation for Software Quality: 21st International Working Conference, Refsq 2015, Essen, Ger, (Paperback)
Algorithmic Learning Theory: 13th International Conference, Alt 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, (Paperback) $54.99
$5499current price $54.99Algorithmic Learning Theory: 13th International Conference, Alt 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, (Paperback)
Social Informatics: Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011, Proceedings, (Paperback) $54.99
$5499current price $54.99Social Informatics: Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011, Proceedings, (Paperback)
Formal Aspects of Component Software: 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017, Pr, (Paperback) $54.99
$5499current price $54.99Formal Aspects of Component Software: 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017, Pr, (Paperback)
Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revi, (Paperback) $54.99
$5499current price $54.99Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revi, (Paperback)
Information Security Applications: 8th International Workshop, WISA 2007 Jeju Island, Korea, August 27-29, 2007 Revised , (Paperback) $54.99
$5499current price $54.99Information Security Applications: 8th International Workshop, WISA 2007 Jeju Island, Korea, August 27-29, 2007 Revised , (Paperback)
Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009, Proceedings (Paperback) $54.99
$5499current price $54.99Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009, Proceedings (Paperback)
Information Systems Security: 8th International Conference, Iciss 2012, Guwahati, India, December 15-19, 2012, Proceedin, (Paperback) $54.99
$5499current price $54.99Information Systems Security: 8th International Conference, Iciss 2012, Guwahati, India, December 15-19, 2012, Proceedin, (Paperback)
Network and System Security: 8th International Conference, Nss 2014, Xi'an, China, October 15-17, 2014. Proceedings, (Paperback) $54.99
$5499current price $54.99Network and System Security: 8th International Conference, Nss 2014, Xi'an, China, October 15-17, 2014. Proceedings, (Paperback)
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part , (Paperback) $54.99
$5499current price $54.99Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part , (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
