This extensively revised and updated new edition of Specification of Software Systems builds upon...

Logic and object-orientation have come to be recognized as being among the most powerful paradigm...

This is a textbook on software specification emphasizing formal methods that are relevant to requ...

The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of ...

This book constitutesthe thoroughly refereed proceedings of the 4th International Conference onCo...

This book constitutes the refereed post-conference proceedings of the International Conferences I...

Object orientation has become a "e;must know"e; subject for managers, researchers, and so...

This book covers all areas of smart antennas, electromagnetic interference, and microwave ante...

This book covers all areas of smart antennas, electromagnetic interference, and microwave ante...

Sensor devices that are flexible and printable have received a lot of interest in recent years...

Sensor devices that are flexible and printable have received a lot of interest in recent years...