Delivery included to the United States

Rigorous Methods for Software Construction and Analysis

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

2010

Paperback (20 Jan 2010)

Save $7.52

  • RRP $61.51
  • $53.99
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

This festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a 'festkolloquium' on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods, the volume covers a wide range of applied research.

Book information

ISBN: 9783642114465
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2010
DEWEY: 004.0151
DEWEY edition: 22
Language: English
Number of pages: 233
Weight: 388g
Height: 235mm
Width: 156mm
Spine width: 15mm