Computer Systems

Subject

Browse all works related to Computer Systems.

"570" 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 …