Importo totale (1 articolo articoli):
Destinazione ordine:
survey verification techniques parallel di barringer (14 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (14)
- 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
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (14)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (6)
- Non Print on Demand (12)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20
- EUR 20 a EUR 45
- Superiore a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
EUR 2,71
Convertire valutaEUR 4,00 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
EUR 17,26
Convertire valutaEUR 8,00 per la spedizione da Francia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Bon. Ancien livre de bibliothèque. Livre un peu vrillé. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Book slightly twisted. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science 191)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 4,26
Convertire valutaEUR 20,85 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. 114 pp., Paperback, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
EUR 20,14
Convertire valutaEUR 8,00 per la spedizione da Francia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 28,56
Convertire valutaEUR 10,60 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer Berlin Heidelberg, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
EUR 24,60
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.
-
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 191
Editore: Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
Da: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Membro dell'associazione: ABAA CBA ILAB
Valutazione del venditore 5 su 5 stelle
EUR 17,90
Convertire valutaEUR 21,72 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag, 1985. 114 pp. 24 x 16.5 cm. Minor bumping along tail-edge of covers; bump to top fore-edge corner. Toning to edges of text block and interior of book. Interior is clean and unmarked. Binding is firm. Soft Cover. Very Good.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Editore: Springer-Verlag 01.09.1985., 1985
ISBN 10: 0387152393 ISBN 13: 9780387152394
Lingua: Inglese
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 31,03
Convertire valutaEUR 9,00 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Gut. ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 550.
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1985, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 24,60
Convertire valutaEUR 19,99 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.
-
A Survey of Verification Techniques for Parallel Programs
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 24,11
Convertire valutaEUR 23,56 per la spedizione da Regno Unito a ItaliaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 7,16
Convertire valutaEUR 65,17 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. 0387152393 Ex-library paperback in very nice condition with the usual markings and attachments.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 39,06
Convertire valutaEUR 65,17 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer Berlin Heidelberg, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
EUR 24,66
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer .
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer Berlin Heidelberg Mai 1985, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 24,60
Convertire valutaEUR 11,00 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions. 128 pp. Englisch.
