Description
About this book
For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic.…
Catalogue preview, eBooks.com
Edition details
- Author / contributors: Friedrich L. Bauer (Editor); Wilfried Brauer (Editor); Helmut Schwichtenberg (Editor)
- Publisher: Springer Berlin Heidelberg
- Publication date: December 06, 2012
- Language: English
- ISBNs: 9783642634482; 9783642580413
- Digital formats: PDF





Reviews
There are no reviews yet.