ENGLISH

Software Engineering 2: Specification of Systems and Languages

By Dines Bjørner

Book information

Publisher
Springer
Year
2006
ISBN
9783540211501, 3-540-21150-0
Language
english
Format
PDF
Filesize
40 MB (41719708 bytes)
Series
Texts in Theoretical Computer Science. An EATCS Series
Volume
Volume 2
Pages
783\783
Topic
Computers
Library
mexmat
Time added
2009-07-20 03:45:11

Description

From the reviews:"The present volume is the second one of a trilogy on formal development of large scale systems. Each topic is presented by means of many examples . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification tools provide the reader with a comprehensive understanding . the book appeals to researchers and to practitioners involved in language specification and modelling of real time and concurrent systems. (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)"

Similar books