Importo totale (1 articolo articoli):
Destinazione ordine:
cliff b jones (249 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (249)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (207)
- Come nuovo, Ottimo o Quasi ottimo (27)
- Molto buono o Buono (15)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (93)
- Non Print on Demand (187)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Software Development : A Rigorous Approach
Lingua: Inglese
Editore: Pearson Education, Limited, 1980
ISBN 10: 0138218846 ISBN 13: 9780138218843
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 5,85
Spedizione EUR 5,78
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Da: Book Bear, West Brookfield, MA, U.S.A.
Membro dell'associazione: SNEAB
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 305 pp. Tightly bound. Spine not compromised. Text is free of markings. No ownership markings. NOTE: The word "USED" is neatly stamped on the top fore-edge.
-
Software Development : A Rigorous Approach
Lingua: Inglese
Editore: Pearson Education, Limited, 1980
ISBN 10: 0138218846 ISBN 13: 9780138218843
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.
Lingua: Inglese
Editore: Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
Da: SUNSET BOOKS 2, Newark, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: Very Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library.
-
Mural: A Formal Development Support System
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 4,06
Spedizione EUR 12,31
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Somniscope: A Dreampunk Convergence
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 17,70
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 6,17
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Case Studies System Software Devepment
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 18,71
Spedizione EUR 5,78
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
EUR 3,50
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Somniscope: A Dreampunk Convergence
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 19,53
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
SHORT STORIES - August 25 1940
Editore: Short Stories Inc., 1940
Da: Gene Zombolas, Milpitas, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Pulp Magazine. Condizione: VG. No Jacket. First Edition. Light smoke staining to spine and edges of covers; edges of covers a little brittle with small tears and some light flaking; ink writing to top of spine; supple, lightly tanned pages with minor edge browning (no brittleness or flaking).
-
Theories of Programming : The Life and Works of Tony Hoare
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 40,87
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Theories of Programming: The Life and Works of Tony Hoare (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Theories of Programming: The Life and Works of Tony Hoare. Book.
-
Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 18,80
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. Auflage: 2 Sub. 350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch.
-
Theoretical Aspects of Computing: ICTAC 2007
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 44,26
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Systematic Software Development Using V. D. M.
Lingua: Inglese
Editore: Longman Higher Education 01.03.1986., 1986
ISBN 10: 0138807175 ISBN 13: 9780138807177
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 19,79
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. 300 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 22,8 x 17,0 x 1,8 cm, Taschenbuch.
-
Theories of Programming
Lingua: Inglese
Editore: Association for Computing Machinery 6504698, 2021
ISBN 10: 1450387292 ISBN 13: 9781450387293
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 39,61
Spedizione EUR 6,79
Spedito da Regno Unito a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Theories of Programming: The Life and Works of Tony Hoare (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 37,66
Spedizione EUR 8,00
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new.
-
Theories of Programming : The Life and Works of Tony Hoare
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 44,95
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Systematic Software Development Using V. D. M.
Lingua: Inglese
Editore: Longman Higher Education 01.03.1986., 1986
ISBN 10: 0138807175 ISBN 13: 9780138807177
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 22,57
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. 300 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 469 22,8 x 17,0 x 1,8 cm, Taschenbuch.
-
Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Methods Models and Tools in False Tolerance
Da: Webbooks, Wigtown, Wigtown, Regno Unito
Membro dell'associazione: PBFA
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 14,30
Spedizione EUR 34,70
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft Cover. Condizione: Good. No Jacket. First Edition. From an academic library with the usual stamps etc.
-
Understanding Programming Languages
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 2020th edition NO-PA16APR2015-KAP.
-
Understanding Programming Languages
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 43,98
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Theories of Programming
Lingua: Inglese
Editore: Association of Computing Machinery,U.S., US, 2021
ISBN 10: 1450387292 ISBN 13: 9781450387293
EUR 52,52
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori Foundation in 2000, and was knighted for "services to education and computer science" by Queen Elizabeth II of England in 2000.This book presents the essence of his various works-the quest for effective abstractions-both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this volume contains biographical material, his Turing award lecture, the transcript of an interview and some of his seminal papers.Hoare's foundational paper "An Axiomatic Basis for Computer Programming", presented his approach, commonly known as Hoare Logic, for proving the correctness of programs by using logical assertions. Hoare Logic and subsequent developments have formed the basis of a wide variety of software verification efforts. Hoare was instrumental in proposing the Verified Software Initiative, a cooperative international project directed at the scientific challenges of large-scale software verification, encompassing theories, tools and experiments.Tony Hoare's contributions to the theory and practice of concurrent software systems are equally impressive. The process algebra called Communicating Sequential Processes (CSP) has been one of the fundamental paradigms, both as a mathematical theory to reason about concurrent computation as well as the basis for the programming language occam. CSP served as a framework for exploring several ideas in denotational semantics such as powerdomains, as well as notions of abstraction and refinement. It is the basis for a series of industrial-strength tools which have been employed in a wide range of applications.This book also presents Hoare's work in the last few decades. These works include a rigorous approach to specifications in software engineering practice, including procedural and data abstractions, data refinement, and a modular theory of designs. More recently, he has worked with collaborators to develop Unifying Theories of Programming (UTP). Their goal is to identify the common algebraic theories that lie at the core of sequential, concurrent, reactive and cyber-physical computations.
-
UNDERSTANDING PROGRAMMING LANGUAGES
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Living History Anthology : Perspectives from the ALHFAM
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,18
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 42,55
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 2021. paperback. . . . . .
-
Theories of Programming
Lingua: Inglese
Editore: Association of Computing Machinery,U.S., US, 2021
ISBN 10: 1450387292 ISBN 13: 9781450387293
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,48
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori Foundation in 2000, and was knighted for "services to education and computer science" by Queen Elizabeth II of England in 2000.This book presents the essence of his various works-the quest for effective abstractions-both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this volume contains biographical material, his Turing award lecture, the transcript of an interview and some of his seminal papers.Hoare's foundational paper "An Axiomatic Basis for Computer Programming", presented his approach, commonly known as Hoare Logic, for proving the correctness of programs by using logical assertions. Hoare Logic and subsequent developments have formed the basis of a wide variety of software verification efforts. Hoare was instrumental in proposing the Verified Software Initiative, a cooperative international project directed at the scientific challenges of large-scale software verification, encompassing theories, tools and experiments.Tony Hoare's contributions to the theory and practice of concurrent software systems are equally impressive. The process algebra called Communicating Sequential Processes (CSP) has been one of the fundamental paradigms, both as a mathematical theory to reason about concurrent computation as well as the basis for the programming language occam. CSP served as a framework for exploring several ideas in denotational semantics such as powerdomains, as well as notions of abstraction and refinement. It is the basis for a series of industrial-strength tools which have been employed in a wide range of applications.This book also presents Hoare's work in the last few decades. These works include a rigorous approach to specifications in software engineering practice, including procedural and data abstractions, data refinement, and a modular theory of designs. More recently, he has worked with collaborators to develop Unifying Theories of Programming (UTP). Their goal is to identify the common algebraic theories that lie at the core of sequential, concurrent, reactive and cyber-physical computations.
