Coverart for item
The Resource Formal methods for industrial critical systems, María Alpuente, Byron Cooker, Christophe Joubert, (eds.), (electronic book)

Formal methods for industrial critical systems, María Alpuente, Byron Cooker, Christophe Joubert, (eds.), (electronic book)

Label
Formal methods for industrial critical systems
Title
Formal methods for industrial critical systems
Statement of responsibility
María Alpuente, Byron Cooker, Christophe Joubert, (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.131
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I63 2009
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
International Workshop on Formal Methods for Industrial Critical Systems
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Alpuente, María
  • Cook, Byron
  • Joubert, Christophe
Series statement
Lecture notes in computer science
Series volume
5825
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
  • Computer programs
Label
Formal methods for industrial critical systems, María Alpuente, Byron Cooker, Christophe Joubert, (eds.), (electronic book)
Instantiates
Publication
Note
Selected conference papers
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR505431689
Dimensions
unknown
Extent
1 online resource (x, 212 p.)
Form of item
online
Isbn
9783642045707
Other physical details
ill.
Specific material designation
remote
Label
Formal methods for industrial critical systems, María Alpuente, Byron Cooker, Christophe Joubert, (eds.), (electronic book)
Publication
Note
Selected conference papers
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR505431689
Dimensions
unknown
Extent
1 online resource (x, 212 p.)
Form of item
online
Isbn
9783642045707
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...