Fundamentals of algebraic specification 2 module specifications and constraints monographs in theoretical computer science an eatcs series 21 band 21 amazonde ehrig hartmut mahr bernd fremdsprachige bucher. Fundamentals in the sense of a carefully motivated introduction to algebraic specification which is understandable for computer scientists and mathematicians 2 fundamentals in the sense of mathematical theories which are the basis for precise definitions constructions results and correctness proofs 3 fundamentals in the sense of concepts from computer science which are introduced on a . Modules and module specifications can be seen as the basic building blocks which are used in modularization of software systems and software system specification constraints are introduced to increase the expressive power of algebraic specifications in order to make them more useful for practical applications the book is suitable both as a textbook for graduate courses in formal . Fundamentals of algebraic specification 2 module specifications and constraints series monographs in theoretical computer science an eatcs series vol 21 ehrig hartmut mahr bernd 1990 price from 7275 eur selected formats hardcover information 7275 eur gross isbn 978 3 540 51799 3 usually ready to be dispatched within 3 to 5 business days if in stock hardcover hardcover . Buy fundamentals of algebraic specification 2 module specifications and constraints v 2 monographs in theoretical computer science an eatcs series 1990 by ehrig hartmut mahr bernd isbn 9783540517993 from amazons book store everyday low prices and free delivery on eligible orders