Series: Wiley Teubner on Applicable Theory in Computer Science ix 230p glossy hardback, bibliography, index, some page edges show very faint irregularity, hardly visible, unused copy, almost as new, second edition Language: English.

Codice articolo 40298

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

The Foundations of Program Verification.

Editore

New York: Wiley

Data di pubblicazione

1987

Lingua

Inglese

ISBN 10

0471912824

ISBN 13

9780471912828

Rilegatura

Hardcover

Edizione

seconda edizione

Condizione

Very Good

Cataloghi dei venditori

Computing

Descrizione articolo

Riassunto

The Foundations of Program Verification Second Edition JacquesLoeckx and Kurt Sieber Fachbereich informatik Universit?t desSaariandes, Saarbr?cken, Germany In collaboration with Ryan D.Stansifer Department of Computer Science Cornell University, USAThis revised edition provides a precise mathematical background toseveral program verification techniques. It concentrates on thoseverification methods that have now become classic, such as theinductive assertions method of Floyd, the axiomatic method ofHoare, and Scott's fixpoint induction. The aim of the book isto present these different verification methods in a simple settingand to explain their mathematical background in particular theproblems of correctness and completeness of the different methodsare discussed in some detail and many helpful examples areincluded. Contents Authors' Preface
* Part A: Preliminaries
* Mathematical Preliminaries
* Predicate Logic

* Part B: Semantics of Programming Languages
* Three Simple Programming Languages
* Fixpoints in Complete Partial Orders
* Denotational Semantics

* Part C: Program Verification Methods
* Correctness of Programs
* The Classical Methods of Floyd
* The Axiomatic Method of Hoare
* Verification Methods Based on Denotational Semantics
* LCF A Logic for Computable Functions

* Part D: Prospects
* An Overview of Further Developments

Bibliography Index Review of the First Edition '... one ofthe better books currently available which introduces programverification.' G. Bunting, University College CardiffUniversity Computing

Informazioni sull?autore

Jacques Loeckx and Kurt Sieber are the authors of The Foundations of Program Verification, 2nd Edition, published by Wiley.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

We have been selling academic and scholarly books in Cambridge since 1996. Today we occupy an old warehouse on Coldhams Road, adjacent to the railway tracks leading to Ely, not too far from the airport. The site is called Restwell House. We are an internet bookshop, but visitors are very welcome. Some drop off a few boxes of unwanted books, some pick up a book to save on the postage, some just drop by to get to know us, or want to take advantage of the many bargains on our wooden shelves bookshop, which is distinct from the internet stock offered on the web. Our mission has always been to find new homes for the books we are looking after. If we cannot sell them online, we offer them at very low prices to our visitors. We try to give you a serious and dedicated service which is focussed on the individuality of each single book: its condition, its origin, sometimes even its smell. You come to us for real books, not just instances of ISBNs.

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

Plurabelle Books Ltd
Unit 8 Restwell House, Coldhams Rd, Cambridge, CB1 3EW, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

Major Credit Cards accepted, also Paypal We can also take payment in Euros with our German Postbank account. For more information call, mail or visit our premises in Cambridge.

Diritto di recesso

Condizioni di spedizione

Orders usually ship on the day received. Standard shipping to International destinations is by Airmail. Please let us know if you'd like a quote for tracked shipping. If your order is for multiple heavy volumes and our default shipping rate is based on one volume only, we may contact you regarding additional postage.
We are pleased to answer any questions you may have and are happy to send images on request.

Tariffe di spedizione da Regno Unito a U.S.A.

Tariffe di spedizione da Regno Unito a U.S.A.
Quantit� dell?ordine	Da 7 a 60 giorni lavorativi	Da 7 a 60 giorni lavorativi
Primo articolo	EUR 9.22	EUR 9.22

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.