Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Name: Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Author: Cerone, Antonio
ISBN: 9783031436772

by Cerone, Antonio

Marketplace Prices
New from $51.31

New
$51.31

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783031436772
ISBN: 3031436776
Publication Date: 2024
Publisher: Springer International Publishing AG

AUTHOR

Cerone, Antonio

SUMMARY

Cerone, Antonio is the author of 'Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures', published 2024 under ISBN 9783031436772 and ISBN 3031436776.

[read more]