Importo totale (1 articolo articoli):
Destinazione ordine:
survey verification techniques parallel di barringer (21 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (21)
- 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 (14)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (4)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (21)
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 (8)
- Non Print on Demand (18)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
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 3,00
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
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
EUR 3,00
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,49
Convertire valutaEUR 20,64 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 (Lecture Notes in Computer Science, 191)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 27,15
Convertire valutaEUR 10,36 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 - 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,71
Convertire valutaEUR 21,50 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
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)
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
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 25,22
Convertire valutaEUR 23,03 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: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 51,90
Convertire valutaEUR 2,00 per la spedizione da Irlanda a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. 1985. 1985th Edition. paperback. . . . . .
-
Survey of Verification Techniques for Parallel Programs
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 39,84
Convertire valutaEUR 17,19 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Survey of Verification Techniques for Parallel Programs
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 44,39
Convertire valutaEUR 17,19 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 64,40
Convertire valutaEUR 1,89 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. 1985. 1985th Edition. paperback. . . . . . Books ship from the US and Ireland.
-
A Survey of Verification Techniques for Parallel Programs
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,79
Convertire valutaEUR 7,74 per la spedizione da U.S.A. a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 128.
-
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,07
Convertire valutaEUR 64,49 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.0387152393 Ex-library paperback in very nice condition with the usual markings and attachments.
-
A Survey of Verification Techniques for Parallel Programs
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 64,79
Convertire valutaEUR 7,95 per la spedizione da Germania a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
-
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 38,65
Convertire valutaEUR 64,49 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 (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,17
Convertire valutaEUR 64,49 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
A Survey of Verification Techniques for Parallel Programs (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 84,75
Convertire valutaEUR 31,82 per la spedizione da Australia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
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.
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer Berlin Heidelberg, J.B. Metzler 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 15,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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.
