Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems, 14)
Lingua: inglese
Editore: Kluwer Academic Publishers, Dordrecht, Boston and London, 1993
- Rilegato
- Usato
Da: Smith Family Bookstore Downtown, Eugene, OR, U.S.A.Smith Family Bookstore Downtown
Venditore AbeBooks dal 13 febbraio 2009
Condizione: Usato - Molto buono
EUR 46,00
Quantità: 1 disponibile
Aggiungi al carrelloDescrizione dell’articolo da parte del venditore
Inscribed and dated by editor to previous author. Text clean and unmarked. Binding tight. Boards have light wear. Front cover has faint scratch. Edges of pages have light wear.
Codice articolo 5053976
- Titolo
- Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems, 14)
- Autore
- Colburn, Timothy T.R.; Fetzer, J.H.; Rankin, R.L.
- Editore
- Kluwer Academic Publishers, Dordrecht, Boston and London
- Anno di pubblicazione
- 1993
- Condizione
- Very Good
- Rilegatura
- Hardcover
- Lingua
- inglese
- ISBN 10
- 0792319656
- ISBN 13
- 9780792319658
Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry.
The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study.
This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Smith Family Bookstore Downtown
Eugene, OR, U.S.A.
Venditore AbeBooks dal 13 febbraio 2009
Tariffe di spedizione nazionale per U.S.A.
| Articolo | Da 5 a 14 giorni lavorativi | Da 3 a 6 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 5,31 | EUR 18,71 |
Metodi di pagamento
Descrizione dello Store
Over 500,000 quality used, rare, and out-of-print books and magazines.
Specializzazione
Self-Help, How-to, Literature, History, Sciences, Social Sciences, Religion, LanguagesInformazioni sull’azienda del venditore
Smith Family Bookstore Downtown, Inc.
525 Willamette Street
Eugene, OR U.S.A. 97401
Condizioni di vendita
We guarantee the condition of every book as it's described on the Abebooks web sites. If the book is not as not as described or damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you change your mind please use the Ask bookseller a question link to contact us about a return and we'll usually respond within 2 business days.
Smith Family Bookstore, Inc.
525 Willamette Street
Eugene OR 97401
sfbooks2@gmail.com
Tax ID 93-0813752
Authorized Representative: Dean Smith
Diritto di recesso
Se sei un consumatore puoi recedere dal contratto in conformità con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attività commerciale, imprenditoriale, artigianale o professionale.
Informazioni sul diritto di recesso
Diritto legale di recesso
Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.
Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.
Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).
Per rispettare il termine di recesso, è sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.
Effetti del recesso
In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).
Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.
Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.
Il rimborso sarà effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.
Possiamo trattenere il rimborso finché non avremo ricevuto i beni oppure finché non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.
Dovrai rispedire i beni o consegnarli a Smith Family Bookstore Downtown, Eugene, Oregon, U.S.A., senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volontà di recedere dal presente contratto. Il termine è rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.
Eccezioni al diritto di recesso
Il diritto di recesso non si applica a:
- La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
- La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.
Condizioni di spedizione
Tracking information can be found under Item Details in Your Purchases. Books ship within one business day except weekends. ?There are no additional charges generally for oversized except for exceptionally large books. International shipping is based on standard flat-rate mailer costs. Extra postage will be required for oversized books.