Formal methods in computer science

Saved in:
Main Authors: Wang, Jiacun, 1963- (Author), Tepfenhart, William M. (Author)
Format: Book
Language:English
Published: Boca Raton ; London ; New York : CRC Press, Taylor & Francis Group, 2020
Series:Textbooks in mathematics
Genre/form:učebnice vysokých škol
ISBN:978-1-4987-7532-8
978-0-367-22570-4
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Status Sublibrary Description Location LCC Callnumber Old Callnumber
Ve zpracování In process NTK collection New books 4th floor QA76 .9 .F67 W36 2020 A 55652