Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / Tiziana Margaria, Bernhard Steffen (eds.).
Author/creator | ISoLA 2004 (2004 : Paphos, Cyprus) |
Other author/creator | Margaria-Steffen, Tiziana, 1964- |
Other author/creator | Steffen, Bernhard. |
Format | Book and Print |
Publication Info | Berlin ; New York : Springer, ©2006. |
Description | viii, 196 pages : illustrations ; 24 cm. |
Subject(s) |
Click here for more information about this title
Portion of title | ISoLA 2004 |
Series | Lecture notes in computer science ; 4313, 0302-9743 ; Lecture notes in computer science 4313. ^A466336 |
Bibliography note | Includes bibliographical references and index. |
LCCN | 2006935874 |
ISBN | 9783540489283 (pbk.) |
ISBN | 3540489282 (pbk.) |
ISBN | 9783540489283 |
Available Items
Library | Location | Call Number | Status | Item Actions | |
Joyner | General Stacks | QA76.9.F67 I86 2004 | ✔ Available | Place Hold |