You are here

Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science #1396) (Paperback)

By Catherine DuBois (Editor), Pierluigi San Pietro (Editor)

$59.99

Add to CartAdd to Wish List

Usually Ships in 1-5 Days

Product Details

ISBN: 9783031275333
ISBN-10: 3031275330
Publisher: Springer
Publication Date: February 21st, 2023
Pages: 105
Language: English
Series: Lecture Notes in Computer Science

Categories

• Logic
• Artificial Intelligence - General
• Speech & Audio Processing