Fundamentals of algebraic specification 2 module specifications and constraints monographs in theoretical computer science an eatcs series book 21 english edition ebook ehrig hartmut mahr bernd amazonde kindle shop. 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 monographs in theoretical computer science an eatcs series 21 on amazoncom free shipping on qualified orders. Fundamentals of algebraic specification 2 module specifications and constraints monographs in theoretical computer science an eatcs 21 paperback by hartmut ehrig bernd mahr 6999 add to cart add to wish list usually ships in 1 5 days description since the early seventies concepts of specification have become central in the whole area of computer science especially algebraic