A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Produktform: Buch / Einband - fest (Hardcover)
How to make effective use of informal models and AI techniques, bridging the gap between Requirements Analysis and Formal Software System Specification.weiterlesen