This book constitutes the thoroughly refereed post-proceedings
of the First International Symposium on Leveraging Applications of
Formal Methods, ISoLA 2004, held in Paphos, Cyprus in
October/November 2004.
The 12 revised full papers presented were carefully selected
from more than 70 submissions. The papers discuss issues related to
the adoption and use of rigorous tools and methods for the
specification, analysis, verification, certification, construction,
test, and maintenance of systems. In particular, by discussing
common problems, requirements, algorithms, methodologies, and
practices, ISoLA aims at supporting researchers in their quest to
improve the utility, reliability, flexibility, and efficiency of
tools for building systems, and users in their search for adequate
solutions to their problems.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 4313 |
Release date: |
November 2006 |
First published: |
2006 |
Editors: |
Tiziana Maragria
• Bernhard Steffen
|
Dimensions: |
235 x 155 x 11mm (L x W x T) |
Format: |
Paperback
|
Pages: |
197 |
Edition: |
2006 ed. |
ISBN-13: |
978-3-540-48928-3 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-48928-2 |
Barcode: |
9783540489283 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!