Logics of Specification Languages


Write The First Customer Review

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Logics of Specification Languages 2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783642093456

Trade paperback

Logics of Specification Languages 2007, Springer, Berlin, Germany

ISBN-13: 9783540741060