Rigorous Methods for Software Construction and Analysis - Softcover

 
9783642114489: Rigorous Methods for Software Construction and Analysis
Softcover
ISBN 10: 3642114482 ISBN 13: 9783642114489
Publisher: Springer, 2010

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2010
Language
English
ISBN 10 
3642114482
ISBN 13 
9783642114489
Binding
Paperback
Number of pages
256
Editor
Abrial Jean-Raymond, Glässer Uwe

Other Popular Editions of the Same Title

9783642114465: Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Featured Edition

ISBN 10:  3642114466 ISBN 13:  9783642114465
Publisher: Springer, 2010
Softcover