"7" Result
Sort By:
As the open-source and free alternative to expensive software like Maple™, Mathematica®, and MATLAB®, Sage offers anyone with a web browser the ability to use cutting-edge mathematical software and share the results with others, often with stunning graphics. This book is a gentl…
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 …
"Modern societies are awash with data that needs to be manipulated in many different ways: encrypted, compressed, shared between users in a prescribed manner, protected from unauthorised access, and transmitted over unreliable channels. All of these operations are based on algeb…