Coverart for item
The Resource Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings, Kim Guldstrand Larsen, Tim Willemse (eds.)

Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings, Kim Guldstrand Larsen, Tim Willemse (eds.)

Label
Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings
Title
Formal methods for industrial critical systems
Title remainder
24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings
Statement of responsibility
Kim Guldstrand Larsen, Tim Willemse (eds.)
Creator
Contributor
Editor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I58 2019eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2019
http://bibfra.me/vocab/lite/meetingName
International Workshop on Formal Methods for Industrial Critical Systems
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1957-
http://library.link/vocab/relatedWorkOrContributorName
  • Larsen, K. G.
  • Willemse, Tim
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL2, Programming and software engineering
Series volume
11687
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
  • Computer programs
  • Computer programs
  • Computer software
  • Computer software
Label
Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings, Kim Guldstrand Larsen, Tim Willemse (eds.)
Instantiates
Publication
Copyright
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
on1118694495
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9783030270070
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-030-27008-7
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1118694495
Label
Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings, Kim Guldstrand Larsen, Tim Willemse (eds.)
Publication
Copyright
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
on1118694495
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9783030270070
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-030-27008-7
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1118694495

Library Locations

Processing Feedback ...