Formal Aspects of Component Software : 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings - Diego Marmsoler

Formal Aspects of Component Software

20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

By: Diego Marmsoler (Editor), Meng Sun (Editor)

Paperback | 12 October 2024

At a Glance

Paperback


$101.07

This title is not currently in stock at the Booktopia Warehouse and needs to be ordered from our supplier.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

More in Computer Science

Getting to Know ArcGIS Pro 3.2 - Michael Law

RRP $270.00

$167.25

38%
OFF
Principles of Information Systems : 14th edition - George Reynolds

RRP $232.95

$183.75

21%
OFF
Blockchain : Blueprint for a New Economy - Melanie Swan

RRP $66.50

$32.75

51%
OFF
Cooking for Geeks : Real Science, Great Cooks, and Good Food - Jeff Potter
Management Information Systems : 7th Edition - Effy Oz

RRP $232.95

$183.75

21%
OFF
Systems Analysis and Design : 8th Edition - Alan Dennis

RRP $263.95

$220.75

16%
OFF
Think Stats : Exploratory Data Analysis - Allen Downey

RRP $66.50

$29.35

56%
OFF
Mixing Secrets for the Small Studio : 2nd Edition - Mike Senior

RRP $94.99

$72.50

24%
OFF