Billede af bogens forside - Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Bog, Paperback, Engelsk, 2014

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783319073163
  • Udgivet21/05/2014
  • Udgivet afSpringer International Publishing AG
  • Længde343 sider
  • GenreBusiness og læring, Computer og IT