Name: Rigorous Methods for Software Construction and Analysis by Uwe Glässer
Brand: eBookmela
Availability: OnlineOnly
Rating: 4.4 (235 reviews)

Rigorous Methods for Software Construction and Analysis

Book Title	Rigorous Methods for Software Construction and Analysis
Author	Jean-Raymond Abrial Uwe Glässer
Publisher	Springer
Published	2010-01-10
Language	English
Subject	Computers, Programming, General, Computers, Computer Science, Computers, Programming, Algorithms, Mathematics, Applied, Computers, Artificial Intelligence, General, Computers, Information Technology, Mathematics, Discrete Mathematics,
Page_Count	235
Format	BOOK
ISBN	3642114474 9783642114472

Buy Now
Read Online

About this Book

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.

Source: View Book on Google Books

No similar books found.