Articoli correlati a Model Checking Software: 19th International SPIN Workshop,...

Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings: 7385 - Brossura

 
9783642317583: Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings: 7385
Brossura
ISBN 10: 3642317588 ISBN 13: 9783642317583
Casa editrice: Springer, 2012

Sinossi

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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

Dalla quarta di copertina

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
3642317588
ISBN 13 
9783642317583
Rilegatura
Copertina flessibile
Numero di pagine
272
Redattore
Donaldson Alastair, Parker David
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Compra usato

Condizioni: ottimo
Zustand: Sehr gut | Sprache: Englisch...
Visualizza questo articolo
9783642317583: Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings: 7385
EUR 34,49

Convertire valuta

EUR 9,90 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9783642317583: Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings: 7385
EUR 44,88

Convertire valuta

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783642317606: Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Edizione in evidenza

ISBN 10:  364231760X ISBN 13:  9783642317606
Casa editrice: Springer, 2012
Brossura

Risultati della ricerca per Model Checking Software: 19th International SPIN Workshop,...

Foto dell'editore

Unbekannt
ISBN 10: 3642317588 ISBN 13: 9783642317583
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

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

Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 22592329/12

Contatta il venditore

Compra usato

EUR 34,49
Convertire valuta
Spese di spedizione: EUR 9,90
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Donaldson, Alastair|Parker, David
ISBN 10: 3642317588 ISBN 13: 9783642317583
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 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. Up to date results Fast track conference proceedings State of the art researchThis book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, U. Codice articolo 5056690

Contatta il venditore

Compra nuovo

EUR 44,88
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

David Parker
ISBN 10: 3642317588 ISBN 13: 9783642317583
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 -This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations. 272 pp. Englisch. Codice articolo 9783642317583

Contatta il venditore

Compra nuovo

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

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

David Parker
ISBN 10: 3642317588 ISBN 13: 9783642317583
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 - This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations. Codice articolo 9783642317583

Contatta il venditore

Compra nuovo

EUR 49,22
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

David Parker
ISBN 10: 3642317588 ISBN 13: 9783642317583
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

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

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch. Codice articolo 9783642317583

Contatta il venditore

Compra nuovo

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

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2012
ISBN 10: 3642317588 ISBN 13: 9783642317583
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 ria9783642317583_new

Contatta il venditore

Compra nuovo

EUR 54,42
Convertire valuta
Spese di spedizione: EUR 10,30
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Donaldson, Alastair (EDT); Parker, David (EDT)
Editore: Springer, 2012
ISBN 10: 3642317588 ISBN 13: 9783642317583
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

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

Condizione: New. Codice articolo 18482494-n

Contatta il venditore

Compra nuovo

EUR 54,41
Convertire valuta
Spese di spedizione: EUR 17,18
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Donaldson, Alastair
Editore: Springer 2012-07, 2012
ISBN 10: 3642317588 ISBN 13: 9783642317583
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

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

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

Contatta il venditore

Compra nuovo

EUR 52,65
Convertire valuta
Spese di spedizione: EUR 22,90
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Donaldson, Alastair (EDT); Parker, David (EDT)
Editore: Springer, 2012
ISBN 10: 3642317588 ISBN 13: 9783642317583
Antico o usato Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

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

Condizione: As New. Unread book in perfect condition. Codice articolo 18482494

Contatta il venditore

Compra usato

EUR 59,22
Convertire valuta
Spese di spedizione: EUR 17,02
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Donaldson, Alastair (EDT); Parker, David (EDT)
Editore: Springer, 2012
ISBN 10: 3642317588 ISBN 13: 9783642317583
Antico o usato Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

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

Condizione: As New. Unread book in perfect condition. Codice articolo 18482494

Contatta il venditore

Compra usato

EUR 61,80
Convertire valuta
Spese di spedizione: EUR 17,18
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 5 copie di questo libro

Vedi tutti i risultati per questo libro