Rigorous Methods for Software Construction and Analysis

Rigorous Methods for Software Construction and Analysis
Author :
Publisher : Springer
Total Pages : 248
Release :
ISBN-10 : 9783642114472
ISBN-13 : 3642114474
Rating : 4/5 (474 Downloads)

Book Synopsis Rigorous Methods for Software Construction and Analysis by : Jean-Raymond Abrial

Download or read book Rigorous Methods for Software Construction and Analysis written by Jean-Raymond Abrial and published by Springer. This book was released on 2010-01-10 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.


Rigorous Methods for Software Construction and Analysis Related Books

Rigorous Methods for Software Construction and Analysis
Language: en
Pages: 248
Authors: Jean-Raymond Abrial
Categories: Computers
Type: BOOK - Published: 2010-01-10 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning f
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Language: en
Pages: 497
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2006-10-04 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Integrated Formal Methods
Language: en
Pages: 669
Authors: Jim Davies
Categories: Computers
Type: BOOK - Published: 2007-06-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all
Formal Methods: Applications and Technology
Language: en
Pages: 372
Authors: Lubos Brim
Categories: Computers
Type: BOOK - Published: 2007-06-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS
Formal Methods and Software Engineering
Language: en
Pages: 788
Authors: Zhiming Liu
Categories: Computers
Type: BOOK - Published: 2006-10-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November