Sell, buy or rent Frank de Boer textbooks
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
by
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
ISBN-13: 9780521806084
ISBN-10: 0521806089
Edition: 1
Publication date: 2001
Publisher:
Cambridge University Press
Format:
Hardcover
800 pages
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science, 12310)
by
Frank de Boer, Antonio Cerone
ISBN-13: 9783030587673
ISBN-10: 3030587673
Edition: 1st ed. 2020
Publication date: 2020
Publisher:
Springer
Format:
Paperback
340 pages
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
by
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
ISBN-13: 9780521169325
ISBN-10: 0521169321
Edition: 1
Publication date: 2012
Publisher:
Cambridge University Press
Format:
Paperback
800 pages