This is our Worldwide store.

Looks like you're in United States. You need a Worldwide address to shop on our Worldwide store. Go to our United States store to continue.

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

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Synopsis

About this book

  • Language:English
  • ISBN:9783030388003
  • Release date:Dec 19, 2022
  • Publisher:Springer International Publishing
  • Imprint:Springer
  • File format:EPUB3
  • File size:29.22 MB
  • Download options:EPUB3 (Adobe DRM)