Sinossi
Covers a range of sequential and parallel programming languages using a variety of mathematical description techniques. Chapters examine sequential nondeterministic programs, an operational view of relational semantics, definitions of Hoare's proof rule and Dijkstra's weakest preconditions, the data flow of sequential programs, the control flow of a variable-free language and alternative descriptions of the control flow, the relationships between partial order models and interleaving, a shared data language and a CSP language. Annotation c. by Book News, Inc., Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Eike Best
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Semantics of Sequential and Parallel Programs
Foto dell'editore
Semantics of Sequential and Parallel Programs
Da: Book Alley, Pasadena, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Textbook Binding. Condizione: Very Good. Gently handled with no markings. Pasadena's finest new and used bookstore since 1992. Codice articolo mon0000465726
Compra usato
EUR 5,93
Spedizione EUR 5,20
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics Sequential Parallel Programs (Prentice Hall International Series in Computer Science)
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Codice articolo M00134606434-G
Compra usato
EUR 6,91
Spedizione EUR 5,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics Sequential Parallel Programs
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-554-937
Compra usato
EUR 5,84
Spedizione EUR 20,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics Sequential Parallel Programs
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-551-436
Compra usato
EUR 5,84
Spedizione EUR 20,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Semantics of Sequential and Parallel Programs
Editore:
Prentice Hall Europe, Hemel Hempstead, 1996
ISBN 10: 0134606434
ISBN 13: 9780134606439
Antico o usato
Paperback
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Paperback in very good condition. Covers are sunned, with a crease to the rear upper corner. Cover edges and corners are slightly bumped and rubbed. Page block is lightly blemished. Covers are clean, binding is sound and pages are clear. LW. Used. Codice articolo 611095
Compra usato
EUR 29,85
Spedizione EUR 14,49
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics Of Sequential And Parallel Programs
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. Codice articolo ABEOCT25-60128
Compra nuovo
EUR 44,66
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics Of Sequential And Parallel Programs
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. Codice articolo ABNR-152048
Compra nuovo
EUR 44,66
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics of Sequential and Parallel Programs
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 351 1st Edition. Codice articolo 263156707
Compra usato
EUR 49,57
Spedizione EUR 3,46
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics of Sequential and Parallel Programs
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 351. Codice articolo 4691260
Compra usato
EUR 46,75
Spedizione EUR 7,54
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics of Sequential and Parallel Programs
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 351. Codice articolo 183156713
Compra usato
EUR 47,49
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili