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 > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R1,559

Discovery Miles 15 590

Repayment Terms: R146 pm x 12*

Add to cart

Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021,...

Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings (Paperback, 1st ed. 2021)

Kirstin Peters, Tim A. C. Willemse

Series: Programming and Software Engineering, 12719

(sign in to rate)

Loot Price R1,559 Discovery Miles 15 590 | Repayment Terms: R146 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Programming and Software Engineering, 12719
Release date:	June 2021
First published:	2021
Editors:	Kirstin Peters • Tim A. C. Willemse
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	245
Edition:	1st ed. 2021
ISBN-13:	978-3-03-078088-3
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Internet > Network computers Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-03-078088-0
Barcode:	9783030780883