Buy Used and New Wang Yi Books

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005 Uppsala, Sweden, September 26-28, 2005 Proceedings: 3829 (Lecture Notes in Computer Science)

by Paul Pettersson,Wang Yi

ISBN 13: 9783540309468

Format: Paperback (320 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030)

by Ernst-Rüdiger Olderog,Bernhard Steffen,Wang Yi

ISBN 13: 9783030913830

Format: Paperback (227 pages)
Publisher: Springer
Published: 22 Nov 2021

Save for later