• The application of formal methodsessays dedicated to Jim Woodcock on the occasion of his retirement /
  • Record Type: Electronic resources : Monograph/item
    Title/Author: The application of formal methodsedited by Simon Foster, Augusto Sampaio.
    Reminder of title: essays dedicated to Jim Woodcock on the occasion of his retirement /
    other author: Woodcock, Jim.
    Published: Cham :Springer Nature Switzerland :2024.
    Description: xiv, 375 p. :ill. (some col.), digital ;24 cm.
    Contained By: Springer Nature eBook
    Subject: Formal methods (Computer science)
    Online resource: https://doi.org/10.1007/978-3-031-67114-2
    ISBN: 9783031671142$q(electronic bk.)
Items
  • 1 records • Pages 1 •
 
000000244978 電子館藏 1圖書 電子書 EB QA76.9.F67 A652 2024 2024 一般使用(Normal) On shelf 0
  • 1 records • Pages 1 •
Reviews
Export
pickup library
 
 
Change password
Login