bokomslag Formal Methods At The Crossroads. From Panacea To Foundational Support

Formal Methods At The Crossroads. From Panacea To Foundational Support

Aichernig Bernhard K Aichernig Maibaum Tom Maibaum

Pocket

899:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 2014
  • Författare: Aichernig Bernhard K Aichernig, Maibaum Tom Maibaum
  • Format: Pocket/Paperback
  • ISBN: 9783662185421
  • Språk: Engelska
  • Utgivningsdatum: 2014-03-12
  • Förlag: Springer Nature B.V.