BooksPrice.com

book price comparison

Willemse, Tim A. C. books & textbook

Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)

Peters, Kirstin  Willemse, Tim A. C.  

Springer /2021-06-10 Paperback / 260 Pages
isbn-10: 3030780880 / isbn-13: 9783030780883
   

compare price



Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science)

Ferreira, Carla  Willemse, Tim A. C.  

Springer /2023-10-31 Paperback / 392 Pages
isbn-10: 3031471148 / isbn-13: 9783031471148
   

compare price