Articles liés à Provably Correct Systems
Synopsis
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems).
The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.
The following topics are covered:
- An historical account of the ProCoS project
- Hybrid Systems
- Correctness of Concurrent Algorithms
- Interfaces and Linking
- Automatic Verification
- Run-time Assertions Checking
- Formal and Semi-Formal Methods
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer International Publishing AG
- Date d'édition2018
- ISBN 10 3319839802
- ISBN 13 9783319839806
- ReliureBroché
- Langueanglais
- Nombre de pages328
- ÉditeurHinchey Mike, Bowen Jonathan P., Olderog Ernst-Rüdiger
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 93
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Provably Correct Systems
Image fournie par le vendeur
Provably Correct Systems
Edité par
Springer International Publishing, 2018
ISBN 10 : 3319839802
ISBN 13 : 9783319839806
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides historic account on the ProCoS projects and their impactAddresses theory and tool-supported practice of verificationExplores formal methods and applications for the International Space StationDiscusses the advances in connec. N° de réf. du vendeur 458624311
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Provably Correct Systems
Edité par
Springer International Publishing, 2018
ISBN 10 : 3319839802
ISBN 13 : 9783319839806
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal MethodsProvably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field. N° de réf. du vendeur 9783319839806
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Provably Correct Systems
Edité par
Springer International Publishing Mai 2018, 2018
ISBN 10 : 3319839802
ISBN 13 : 9783319839806
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal MethodsProvably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field. 348 pp. Englisch. N° de réf. du vendeur 9783319839806
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Provably Correct Systems
Edité par
Springer International Publishing Mai 2018, 2018
ISBN 10 : 3319839802
ISBN 13 : 9783319839806
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ¿ProCoS¿ (Provably Correct Systems).The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered:An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal MethodsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch. N° de réf. du vendeur 9783319839806
Quantité disponible : 2 disponible(s)
Image d'archives
Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 328. N° de réf. du vendeur 26375728567
Quantité disponible : 4 disponible(s)
Image d'archives
Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 328. N° de réf. du vendeur 18375728573
Quantité disponible : 4 disponible(s)
Image d'archives
Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 328. N° de réf. du vendeur 370316904
Quantité disponible : 4 disponible(s)
Image d'archives
Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. New. book. N° de réf. du vendeur ERICA80033198398026
Quantité disponible : 1 disponible(s)