librarian a book library
  • home
  • tags
  • no pdf
  • bad author
  • no cover
  • add item
  • bibliographer

Formal Methods for Software Engineering: Languages, Methods, Application Domains
Markus Roggenbach
Antonio Cerone
Bernd-Holger Schlingloff
Gerardo Schneider
Siraj Ahmed Shaikh

Library Size: 80G (1 books), Last Updated: Mar 31, 2026, 18:05:21, Build Time: N/A badge
[show logs] [hide logs]