0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Reactive Systems - Modelling, Specification and Verification (Hardcover) Loot Price: R2,547
Discovery Miles 25 470
You Save: R373 (13%)
Reactive Systems - Modelling, Specification and Verification (Hardcover): Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand...

Reactive Systems - Modelling, Specification and Verification (Hardcover)

Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen, Jiri Srba

 (sign in to rate)
List price R2,920 Loot Price R2,547 Discovery Miles 25 470 | Repayment Terms: R239 pm x 12* You Save R373 (13%)

Bookmark and Share

Expected to ship within 12 - 19 working days

Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner??'s CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Release date: August 2007
First published: 2007
Authors: Luca Aceto • Anna Ingolfsdottir • Kim Guldstrand Larsen • Jiri Srba
Dimensions: 246 x 182 x 20mm (L x W x T)
Format: Hardcover
Pages: 302
ISBN-13: 978-0-521-87546-2
Categories: Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 0-521-87546-3
Barcode: 9780521875462

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Programming Logic & Design…
Joyce Farrell Paperback R1,336 R1,239 Discovery Miles 12 390
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,341 Discovery Miles 13 410
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,462 Discovery Miles 24 620
Software Engineering for Real-Time…
Jim Cooling Paperback R2,285 Discovery Miles 22 850
Software Requirements - Styles and…
Soren Lauesen Paperback R2,205 Discovery Miles 22 050
Design and Use of Software Architectures…
Jan Bosch Paperback R1,773 Discovery Miles 17 730
Software Requirements And Specifications…
M. Jackson Paperback R1,602 Discovery Miles 16 020
Software Inspection
Tom Gilb, Dorothy Graham Paperback R1,855 Discovery Miles 18 550
Principles of Big Graph: In-depth…
Ripon Patgiri, Ganesh Chandra Deka, … Hardcover R4,981 R4,170 Discovery Miles 41 700
Edge/Fog Computing Paradigm: The…
Pethuru Raj, Kavita Saini, … Hardcover R5,025 R4,214 Discovery Miles 42 140
Working Effectively with Legacy Code
Michael C. Feathers Paperback R1,649 R1,341 Discovery Miles 13 410

See more

Partners