From Action Systems to Distributed Systems
The Refinement Approach
Published on 27. April 2016
312 pages
978-1-4987-0159-4 (ISBN)
Description
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert
More details
Language
English
Place of publication
Philadelphia, PA
United States
Publishing group
Taylor & Francis Inc
Target group
College/higher education
Illustrations
80 s/w Abbildungen, 10 s/w Tabellen
80 b/w images and 10 tables
File size
21,14 MB
ISBN-13
978-1-4987-0159-4 (9781498701594)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Book
06/2020
1st Edition
Chapman & Hall/CRC
€67.60
Shipment within 15-20 days
Book
04/2016
1st Edition
Chapman & Hall/CRC
€259.98
Shipment within 15-20 days
Persons
Content
Modeling. Analysis. Proof. Refinement. Applications.
