Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : Proceedings - Lecture Notes in Computer Science

2007

Paperback (09 Mar 2007)

Save $2.10

  • RRP $57.71
  • $55.61
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

The 25 revised full papers presented in this book together with the abstract of one invited talk were carefully reviewed and selected from 103 submissions. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

Book information

ISBN: 9783540713883
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2007
DEWEY: 005
DEWEY edition: 22
Language: English
Number of pages: 377
Weight: 1230g
Height: 234mm
Width: 156mm
Spine width: 20mm