Número de Cutter-SanbornO44mEntrada «Old» → 44 · marca de obra “m”

Model Checking, Synthesis, and Learning

Name: Model Checking, Synthesis, and Learning
ISBN: 9783030913830

Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

Autor	Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Editorial	Springer International Publishing AG
Fecha de publicación	2021
Idioma	inglés
ISBN-13	9783030913830
Número de Cutter	`O44m`

Model Checking, Synthesis, and Learning (2021) — ISBN 9783030913830 | Cutter Number