Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand
Für die Filterung wurden keine Ergebnisse gefunden!
frontend/listing/product-box/box-basic.tpl
Automated Theorem Proving in Software Engineering
  • Gebunden
  • 228 Seiten
  • Erschienen 2001
  • Springer-Verlag GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated Theorem Proving in Software Engineering
Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic...
80,24 €

Zuletzt angesehen