The aim of this book is to present fundamentals of algebraicspecifications with respect to the fo...

Since the early seventies concepts of specification have become central in the whole area of comp...

The 2008 TUB-SJTU joint workshop on ¿Autonomous Systems ¿ Self-Organization, Management, and Cont...

Im Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikat...

The 2008 TUB-SJTU joint workshop on 'Autonomous Systems - Self-Organization, Management, and Cont...

Since the early seventies concepts of specification have become central in the whole area of comp...