Buy Used and New David Parker Books

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)

by Sergiy Bogomolov, David Parker

ISBN 13: 9783031158384

Format: Paperback (324 pages)
Publisher: Springer
Published: 29 Aug 2022

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Armin Biere, David Parker

ISBN 13: 9781013277214

Format: Hardcover (438 pages)
Publisher: Saint Philip Street Press
Published: 09 Oct 2020

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Armin Biere, David Parker

ISBN 13: 9781013277191

Format: Hardcover (516 pages)
Publisher: Saint Philip Street Press
Published: 09 Oct 2020

Save for later