Téléchargez le livre : Provably Correct Systems

Provably Correct Systems

de

, ,

Éditeur :

Springer


Collection :

NASA Monographs in Systems and Software Engineering

Paru le : 2017-03-01

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

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 Methods 

Provably 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.
Pages
328 pages
Collection
NASA Monographs in Systems and Software Engineering
Parution
2017-03-01
Marque
Springer
EAN papier
9783319486277
EAN PDF
9783319486284
Informations sur l'ebook
Nombre pages copiables
3
Nombre pages imprimables
32
Taille du fichier
9452 Ko
Prix
94,94 €
EAN EPUB
9783319486284
Informations sur l'ebook
Nombre pages copiables
3
Nombre pages imprimables
32
Taille du fichier
4751 Ko
Prix
94,94 €

Suggestions personnalisées