Articoli correlati a Automated Technology for Verification and Analysis:...

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings: 7561 - Brossura

 
9783642333859: Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings: 7561
Brossura
ISBN 10: 3642333850 ISBN 13: 9783642333859
Casa editrice: Springer, 2012

Sinossi

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

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 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

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 
3642333850
ISBN 13 
9783642333859
Rilegatura
Copertina flessibile
Numero di pagine
452
Redattore
Mukund Madhavan, Chakraborty Supratik
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: come nuovo
Unread book in perfect condition...
Visualizza questo articolo
9783642333859: Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings: 7561
EUR 61,64

Convertire valuta

EUR 2,26 per la spedizione in U.S.A.

Destinazione, tempi e costi

Risultati della ricerca per Automated Technology for Verification and Analysis:...

Immagini fornite dal venditore

Mukund, Madhavan (EDT); Chakraborty, Supratik (EDT)
Editore: Springer, 2012
ISBN 10: 3642333850 ISBN 13: 9783642333859
Nuovo Brossura

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

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

Condizione: New. Codice articolo 19176823-n

Contatta il venditore

Compra nuovo

EUR 54,09
Convertire valuta
Spese di spedizione: EUR 2,26
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2012
ISBN 10: 3642333850 ISBN 13: 9783642333859
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 ABLIING23Mar3113020224447

Contatta il venditore

Compra nuovo

EUR 53,01
Convertire valuta
Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Madhavan Mukund
ISBN 10: 3642333850 ISBN 13: 9783642333859
Nuovo Paperback

Da: Grand Eagle Retail, Bensenville, IL, U.S.A.

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

Paperback. Condizione: new. Paperback. This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems. This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783642333859

Contatta il venditore

Compra nuovo

EUR 56,43
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Mukund, Madhavan (EDT); Chakraborty, Supratik (EDT)
Editore: Springer, 2012
ISBN 10: 3642333850 ISBN 13: 9783642333859
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 19176823

Contatta il venditore

Compra usato

EUR 61,64
Convertire valuta
Spese di spedizione: EUR 2,26
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2012
ISBN 10: 3642333850 ISBN 13: 9783642333859
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 ria9783642333859_new

Contatta il venditore

Compra nuovo

EUR 60,28
Convertire valuta
Spese di spedizione: EUR 13,80
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Supratik Chakraborty
ISBN 10: 3642333850 ISBN 13: 9783642333859
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 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems. 452 pp. Englisch. Codice articolo 9783642333859

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 23,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Mukund, Madhavan (EDT); Chakraborty, Supratik (EDT)
Editore: Springer, 2012
ISBN 10: 3642333850 ISBN 13: 9783642333859
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 19176823-n

Contatta il venditore

Compra nuovo

EUR 60,26
Convertire valuta
Spese di spedizione: EUR 17,27
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2012
ISBN 10: 3642333850 ISBN 13: 9783642333859
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

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

Condizione: New. pp. 452. Codice articolo 2658569373

Contatta il venditore

Compra nuovo

EUR 77,13
Convertire valuta
Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Mukund, Madhavan (EDT); Chakraborty, Supratik (EDT)
Editore: Springer, 2012
ISBN 10: 3642333850 ISBN 13: 9783642333859
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 19176823

Contatta il venditore

Compra usato

EUR 66,10
Convertire valuta
Spese di spedizione: EUR 17,27
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2012
ISBN 10: 3642333850 ISBN 13: 9783642333859
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

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

Condizione: New. Print on Demand pp. 452 106 Illus. Codice articolo 50990402

Contatta il venditore

Compra nuovo

EUR 77,95
Convertire valuta
Spese di spedizione: EUR 7,49
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Vedi altre 6 copie di questo libro

Vedi tutti i risultati per questo libro