Articoli correlati a Verifying Concurrent Processes Using Temporal Logic:...

Verifying Concurrent Processes Using Temporal Logic: 129 - Brossura

Hailpern, B. T.

 
9783540112051: Verifying Concurrent Processes Using Temporal Logic: 129
Brossura
ISBN 10: 3540112057 ISBN 13: 9783540112051
Casa editrice: Springer, 2008

Contenuti

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540112057
ISBN 13 
9783540112051
Rilegatura
Copertina flessibile
Numero di pagine
224
Contatto del produttore
Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com

Compra usato

Condizioni: buono
Seiten; 9783540112051.4 Gewicht...
Visualizza questo articolo
9783540112051: Verifying Concurrent Processes Using Temporal Logic: 129
EUR 6,99

Convertire valuta

EUR 13,90 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9783540112051: Verifying Concurrent Processes Using Temporal Logic: 129
EUR 48,37

Convertire valuta

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780387112053: Verifying Concurrent Processes Using Temporal Logic

Edizione in evidenza

ISBN 10:  0387112057 ISBN 13:  9780387112053
Brossura

Risultati della ricerca per Verifying Concurrent Processes Using Temporal Logic:...

Immagini fornite dal venditore

Hailpern B., T.:
Editore: Springer, 2008
ISBN 10: 3540112057 ISBN 13: 9783540112051
Antico o usato paperback

Da: Studibuch, Stuttgart, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

paperback. Condizione: Befriedigend. Seiten; 9783540112051.4 Gewicht in Gramm: 500. Codice articolo 689038

Contatta il venditore

Compra usato

EUR 6,99
Convertire valuta
Spese di spedizione: EUR 13,90
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

B. T. Hailpern
ISBN 10: 3540112057 ISBN 13: 9783540112051
Antico o usato Softcover

Da: Ammareal, Morangis, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1981. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1981. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-576-600

Contatta il venditore

Compra usato

EUR 32,08
Convertire valuta
Spese di spedizione: EUR 8,00
Da: Francia a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

B. T. Hailpern
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.InhaltsverzeichnisProgramming environment.- Verification.- Temporal logic.- 5. Techniques.- Networ. Codice articolo 4881303

Contatta il venditore

Compra nuovo

EUR 48,37
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

B. T. Hailpern
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. Codice articolo 9783540112051

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

B. T. Hailpern
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuovo Taschenbuch
Print on Demand

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch. Codice articolo 9783540112051

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Hailpern, B. T.
Editore: Springer, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540112051_new

Contatta il venditore

Compra nuovo

EUR 60,55
Convertire valuta
Spese di spedizione: EUR 10,40
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

B. T. Hailpern
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. 220 pp. Englisch. Codice articolo 9783540112051

Contatta il venditore

Compra nuovo

EUR 74,89
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Hailpern, B. T.
Editore: Springer 1982-03, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783540112051

Contatta il venditore

Compra nuovo

EUR 76,88
Convertire valuta
Spese di spedizione: EUR 23,12
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Hailpern, B. T.
Editore: Springer, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020159320

Contatta il venditore

Compra nuovo

EUR 52,12
Convertire valuta
Spese di spedizione: EUR 64,15
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello