software

Subject

Browse all works related to software.

"1650" Result

This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. The book uses a practical approach to the design and use of AS formalisms, and illustrate how AS techniques …

This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. The book uses a practical approach to the design and use of AS formalisms, and illustrate how AS techniques …

This book constitutes the joint refereed proceedings of the 14th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2011, and the 15th International Workshop on Randomization and Computation, RANDOM 2011, held in Princeton, New Jer…