Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science - Jean-raymond Abrial - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642114465 - January 20, 2010
In case cover and title do not match, the title is correct

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science

Jean-raymond Abrial

Price
₪ 201.60

Ordered from remote warehouse

Expected delivery Jul 1 - 9
Add to your iMusic wish list

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science

This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.


251 pages, 43 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 20, 2010
ISBN13 9783642114465
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 235
Dimensions 156 × 235 × 15 mm   ·   388 g
Language French  
Editor Abrial, Jean-Raymond
Editor Glasser, Uwe

Show all

More by Jean-raymond Abrial

Others have also bought