Articles liés à Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs - Couverture rigide

 
9781848827448: Verification of Sequential and Concurrent Programs

Synopsis

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules appropriate for each class of programs are presented. In spite of this diversity due to the rich program classes cons- ered, there exist a uniform underlying theory of veri?cation which is synt- oriented and promotes compositional approaches to veri?cation, leading to scalability of the methods. The text strikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples. As a result it can serve as a textbook for a variety of courses on di?erent levels and varying durations. It can also serve as a reference book for researchers in the theory of veri?- tion, in particular since it contains much material that never before appeared in book form. This is specially true for the treatment of object-oriented p- grams which is entirely novel and is strikingly elegant.

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

Acheter D'occasion

état :  Bon
Hardcover, 3rd edition, xxiii +...
Afficher cet article
EUR 25,50

Autre devise

EUR 3,50 expédition depuis Irlande vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 89,99

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

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

Image d'archives

Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog
Edité par Springer, 2009
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Ancien ou d'occasion Couverture rigide

Vendeur : killarneybooks, Inagh, CLARE, Irlande

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

Hardcover. Etat : Near Fine. 3rd Edition. Hardcover, 3rd edition, xxiii + 502 pages, NOT ex-library. Shipping weight over 1kg. Signs of mild wear, book is clean and bright with unmarked text, free of inscriptions and stamps, firmly bound. Issued without a dust jacket. -- An in-depth exploration of the methodologies and techniques used for verifying the correctness of both sequential and concurrent programs. This comprehensive text delves into the theoretical foundations and practical applications of program verification. The book covers a range of topics, including formal methods, algorithmic analysis, and model checking, making it an essential resource for computer scientists, researchers, and students interested in ensuring software reliability and performance. With its detailed explanations and illustrative examples, the book equips readers with the knowledge needed to address complex verification challenges in modern computing systems. N° de réf. du vendeur 007578

Contacter le vendeur

Acheter D'occasion

EUR 25,50
Autre devise
Frais de port : EUR 3,50
De Irlande vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger; Pnueli, Amir [Foreword]
Edité par Springer, 2010
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Ancien ou d'occasion Couverture rigide

Vendeur : kelseyskorner, Blaine, WA, Etats-Unis

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

Hardcover. Etat : Very Good. 3rd ed. 2009, Corr. 3rd printing. Hardcover book with no markings in good condition.Good clean pages-minor wear.Good clean cover. N° de réf. du vendeur 6-775001

Contacter le vendeur

Acheter D'occasion

EUR 29,97
Autre devise
Frais de port : EUR 22,08
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Krzysztof R. Apt|Frank S. de Boer|Ernst-Rüdiger Olderog
Edité par Springer London, 2009
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Neuf Couverture rigide
impression à la demande

Vendeur : moluna, Greven, Allemagne

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

Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Deals with the verification of programs allowing dynamic process creationIncludes four new chapters on increasingly important aspects of programmingContains many learning tools to aid the reader such as case studies, exercises, comprehensiv. N° de réf. du vendeur 4287105

Contacter le vendeur

Acheter neuf

EUR 89,99
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Krzysztof R. Apt
Edité par Springer London Okt 2009, 2009
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Neuf Buch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

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

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri - T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules appropriate for each class of programs are presented. In spite of this diversity due to the rich program classes cons- ered, there exist a uniform underlying theory of veri cation which is synt- oriented and promotes compositional approaches to veri cation, leading to scalability of the methods. The text strikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples. As a result it can serve as a textbook for a variety of courses on di erent levels and varying durations. It can also serve as a reference book for researchers in the theory of veri - tion, in particular since it contains much material that never before appeared in book form. This is specially true for the treatment of object-oriented p- grams which is entirely novel and is strikingly elegant. 528 pp. Englisch. N° de réf. du vendeur 9781848827448

Contacter le vendeur

Acheter neuf

EUR 106,99
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger
Edité par Springer, 2009
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

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

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

Contacter le vendeur

Acheter neuf

EUR 115,97
Autre devise
Frais de port : EUR 4,60
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Apt, Krzysztof R.; Boer, Frank S. De; Olderog, Ernst-Rudiger
Edité par Springer, 2009
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Neuf Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

É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 6945435-n

Contacter le vendeur

Acheter neuf

EUR 103,69
Autre devise
Frais de port : EUR 16,98
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Krzysztof R. Apt
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Neuf Buch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

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

Buch. Etat : Neu. Neuware -HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri - T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules appropriate for each class of programs are presented. In spite of this diversity due to the rich program classes cons- ered, there exist a uniform underlying theory of veri cation which is synt- oriented and promotes compositional approaches to veri cation, leading to scalability of the methods. The text strikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples. As a result it can serve as a textbook for a variety of courses on di erent levels and varying durations. It can also serve as a reference book for researchers in the theory of veri - tion, in particular since it contains much material that never before appeared in book form. This is specially true for the treatment of object-oriented p- grams which is entirely novel and is strikingly elegant.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch. N° de réf. du vendeur 9781848827448

Contacter le vendeur

Acheter neuf

EUR 106,99
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger
Edité par Springer, 2009
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Neuf Couverture rigide

Vendeur : California Books, Miami, FL, Etats-Unis

É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 I-9781848827448

Contacter le vendeur

Acheter neuf

EUR 115,48
Autre devise
Frais de port : EUR 6,79
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Krzysztof R. Apt
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

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

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri - T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules appropriate for each class of programs are presented. In spite of this diversity due to the rich program classes cons- ered, there exist a uniform underlying theory of veri cation which is synt- oriented and promotes compositional approaches to veri cation, leading to scalability of the methods. The text strikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples. As a result it can serve as a textbook for a variety of courses on di erent levels and varying durations. It can also serve as a reference book for researchers in the theory of veri - tion, in particular since it contains much material that never before appeared in book form. This is specially true for the treatment of object-oriented p- grams which is entirely novel and is strikingly elegant. N° de réf. du vendeur 9781848827448

Contacter le vendeur

Acheter neuf

EUR 113,44
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Apt, Krzysztof R.; Boer, Frank S. De; Olderog, Ernst-Rudiger
Edité par Springer, 2009
ISBN 10 : 184882744X ISBN 13 : 9781848827448
Neuf Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, 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 6945435-n

Contacter le vendeur

Acheter neuf

EUR 115,96
Autre devise
Frais de port : EUR 17,30
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 9 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre