ECU Libraries Catalog

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/creatorMargaria-Steffen, Tiziana, 1964-
Other author/creatorSteffen, Bernhard.
Format Book and Print
Publication InfoBerlin ; New York : Springer, ©2006.
Descriptionviii, 196 pages : illustrations ; 24 cm.
Subject(s)
Portion of title ISoLA 2004
Series Lecture notes in computer science ; 4313, 0302-9743 ;
Lecture notes in computer science 4313. ^A466336
Bibliography noteIncludes bibliographical references and index.
LCCN 2006935874
ISBN9783540489283 (pbk.)
ISBN3540489282 (pbk.)
ISBN9783540489283

Available Items

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.9.F67 I86 2004 ✔ Available Place Hold