Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Paperback, 1st ed. 2018) Loot Price: R1,527

Discovery Miles 15 270

Repayment Terms: R143 pm x 12*

Add to cart

Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018,...

Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Paperback, 1st ed. 2018)

Kyungmin Bae, Peter Csaba OElveczky

Series: Programming and Software Engineering, 11222

(sign in to rate)

Loot Price R1,527 Discovery Miles 15 270 | Repayment Terms: R143 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Programming and Software Engineering, 11222
Release date:	October 2018
First published:	2018
Editors:	Kyungmin Bae • Peter Csaba OElveczky
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	297
Edition:	1st ed. 2018
ISBN-13:	978-3-03-002145-0
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-03-002145-9
Barcode:	9783030021450