An edition of Formal Techniques for Safety-Critical Systems (2014)

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)

by and

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Formal Techniques for Safety-Critical Systems by Cyrille Artho, Peter Csaba Ölveczky
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 7, 2022 | History
Edit
An edition of Formal Techniques for Safety-Critical Systems (2014)

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)

by and

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Pages
308

Check nearby libraries

Buy this book

Subjects
System failures (engineering), Systems engineering, Formal languages, Software engineering, Computer science, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices
Edition Availability
Cover of: Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)
Feb 01, 2019, Springer
paperback
Libraries near you: WorldCat
Cover of: Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Mar 23, 2017, Springer
paperback
Libraries near you: WorldCat
Cover of: Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
2016, Springer International Publishing AG
in English
Libraries near you: WorldCat
Cover of: Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
2016, Springer
in English
Libraries near you: WorldCat
Cover of: Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Apr 16, 2015, Springer
paperback
Libraries near you: WorldCat
Cover of: Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
2015, Springer London, Limited
in English
Libraries near you: WorldCat
Cover of: Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
2014, Springer London, Limited
in English
Libraries near you: WorldCat
Cover of: Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)
Apr 06, 2014, Springer
paperback
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Source title: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)

Classifications

Library of Congress
QA75.5-76.95, QA76.9.L63, QA76.5913, QA76.63

The Physical Object

Format
paperback
Number of pages
308

ID Numbers

Open Library
OL28050512M
ISBN 10
3319054155
ISBN 13
9783319054155

Source records

amazon.com record
Better World Books record
harvard_bibliographic_metadata record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 7, 2022 Edited by MARC Bot import existing book
October 5, 2021 Edited by ImportBot import existing book
May 15, 2020 Created by ImportBot Imported from amazon.com record