The Resource Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers, Luboš Brim ... [et al.] (eds.)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers, Luboš Brim ... [et al.] (eds.)

Label
Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Title
Formal methods
Title remainder
applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Statement of responsibility
Luboš Brim ... [et al.] (eds.)
Title variation
  • FMICS 2006
  • PDMC 2006
Creator
Contributor
Subject
Genre
Language
eng
Additional physical form
Also issued online
Cataloging source
OHX
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I594 2006
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science,
Series volume
4346
Label
Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers, Luboš Brim ... [et al.] (eds.)
Publication
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/branchCode
  • net
Control code
ocm85770611
Dimensions
24 cm
Extent
x, 361 p.
Isbn
9783540709510
Lccn
2007921124
Other physical details
ill.
http://library.link/vocab/recordID
.b23291989
System control number
lncs23291989

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...