Take a photo of a barcode or cover
392 pages • first pub 2014 (editions)
ISBN/UID: 9780262027717
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that...
Community Reviews
Content Warnings
392 pages • first pub 2014 (editions)
ISBN/UID: 9780262027717
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that...