Articles liés à Verification of Sequential and Concurrent Programmes

Verification of Sequential and Concurrent Programmes - Couverture rigide

 
9783540975328: Verification of Sequential and Concurrent Programmes

Synopsis

This work provides a structured introduction to programme verification and the semantics of structured concurrent programmes. Sequential programmes in the form of deterministic and nondeterministic programmes, and concurrent programmes in the form of parallel and distributed programmes, are considered within the context of their partial and total correctness. The book is appropriate for either a one- or two-term introductory course on programme verification for senior undergraduate studies or for graduate students. It can also be used as an introduction to operational semantics. Outlines of ideas for one-term courses are described in the preface. Within the book, the authors systematically discuss five classes of programmes, concentrating on operational semantics, syntax-directed assertional proof systems, soundness proofs of the proof systems, programme transformations, correctness proofs of the programme transformations and correctness proofs of a substantial example. Each chapter is organized in a systematic manner and ends with a list of exercises. The material presented here draws on work which until now was only available in the form of advanced research publications. This monograph on programme logics and semantics, mathematical logic and normal language and the theory of computation is intended for academics teaching senior undergraduate and graduate-level courses.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Comme neuf
Like New
Afficher cet article
EUR 184,13

Autre devise

EUR 28,83 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 137,28

Autre devise

EUR 10,21 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Résultats de recherche pour Verification of Sequential and Concurrent Programmes

Image d'archives

Apt, Krzysztof R
Edité par Springer-Verlag, 1991
ISBN 10 : 3540975322 ISBN 13 : 9783540975328
Neuf Couverture rigide

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 370899473

Contacter le vendeur

Acheter neuf

EUR 137,28
Autre devise
Frais de port : EUR 10,21
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Apt, Krzysztof R
Edité par Springer-Verlag, 1991
ISBN 10 : 3540975322 ISBN 13 : 9783540975328
Neuf Couverture rigide

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 18376227268

Contacter le vendeur

Acheter neuf

EUR 149,23
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Apt, Krzysztof R
Edité par Springer-Verlag, 1991
ISBN 10 : 3540975322 ISBN 13 : 9783540975328
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 26376227278

Contacter le vendeur

Acheter neuf

EUR 163,39
Autre devise
Frais de port : EUR 7,64
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Apt, Krzysztof R
Edité par Springer-Verlag, 1991
ISBN 10 : 3540975322 ISBN 13 : 9783540975328
Ancien ou d'occasion Couverture rigide

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA79635409753226

Contacter le vendeur

Acheter D'occasion

EUR 184,13
Autre devise
Frais de port : EUR 28,83
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier