Coverart for item
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.), (electronic 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.), (electronic resource)

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
Cataloging source
OHX
LC call number
QA76.9.F67
LC item number
I594 2006
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International Workshop on Formal Methods for Industrial Critical Systems
http://library.link/vocab/relatedWorkOrContributorDate
2006
http://library.link/vocab/relatedWorkOrContributorName
  • Brim, Lubǒs
  • PDMC 2006
Series statement
Lecture notes in computer science,
Series volume
4346
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
  • Computer programs
  • Computer programs
  • Computer software
  • Computer software
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.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000157229
Dimensions
unknown
Isbn
9783540709510
Isbn Type
(pbk.)
Lccn
2007921124
Specific material designation
remote
System control number
(WaSeSS)bookssj0000157229
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.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000157229
Dimensions
unknown
Isbn
9783540709510
Isbn Type
(pbk.)
Lccn
2007921124
Specific material designation
remote
System control number
(WaSeSS)bookssj0000157229

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...