Número de Cutter-SanbornC416fEntrada «Cero» → 416 · marca de obra “f”

Formal Methods for an Informal World

Name: Formal Methods for an Informal World
ISBN: 9783031436772

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Autor	Antonio Cerone
Editorial	Springer International Publishing AG
Fecha de publicación	2023
Idioma	inglés
ISBN-13	9783031436772
Número de Cutter	`C416f`

Formal Methods for an Informal World (2023) — ISBN 9783031436772 | Cutter Number