Importo totale (1 articolo articoli):
Destinazione ordine:
hanneman ulrich (11 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (11)
- 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 (9)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
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 (3)
- Non Print on Demand (9)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Concurrency Verification : Introduction to Compositional and Noncompositional Methods
Lingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 102,88
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Lingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 105,37
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Concurrency Verification : Introduction to Compositional and Noncompositional Methods
Lingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 108,54
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Lingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 97,35
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Concurrency Verification Introduction to Compositional and Non-compositional Methods
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
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.
-
Concurrency Verification : Introduction to Compositional and Noncompositional Methods
Lingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 97,34
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Concurrency Verification : Introduction to Compositional and Noncompositional Methods
Lingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 114,32
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Concurrency Verification : Introduction to Compositional and Non-Compositional Methods
Lingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
EUR 120,89
Spedizione EUR 65,68
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521806089 ISBN 13: 9780521806084
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 280,74
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 105,08
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 798 pages. 9.02x5.98x1.57 inches. In Stock. This item is printed on demand.
-
Concurrency Verification
Lingua: Inglese
Editore: Cambridge University Press, 2010
ISBN 10: 0521169321 ISBN 13: 9780521169325
EUR 106,55
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery o.
