Articoli correlati a Formal Methods and Software Engineering: 14th International...

Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings: 7635 - Brossura

 
9783642342806: Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings: 7635

Sinossi

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.

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

Dalla quarta di copertina

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.
The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.

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

Compra usato

Condizioni: come nuovo
Unread book in perfect condition...
Visualizza questo articolo

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

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783642342820: Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

Edizione in evidenza

ISBN 10:  3642342825 ISBN 13:  9783642342820
Casa editrice: Springer, 2012
Brossura

Risultati della ricerca per Formal Methods and Software Engineering: 14th International...

Foto dell'editore

Editore: Springer, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Nuovo Brossura

Da: Best Price, Torrance, CA, U.S.A.

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

Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783642342806

Contatta il venditore

Compra nuovo

EUR 48,22
Convertire valuta
Spese di spedizione: EUR 7,64
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
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 ABLIING23Mar3113020224681

Contatta il venditore

Compra nuovo

EUR 52,61
Convertire valuta
Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Aoki, Toshiaki (EDT); Taguchi, Kenji (EDT)
Editore: Springer, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
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 18955694-n

Contatta il venditore

Compra nuovo

EUR 53,77
Convertire valuta
Spese di spedizione: EUR 2,25
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Aoki, Toshiaki (EDT); Taguchi, Kenji (EDT)
Editore: Springer, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
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 18955694

Contatta il venditore

Compra usato

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

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
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 ria9783642342806_new

Contatta il venditore

Compra nuovo

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

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Kenji Taguchi
ISBN 10: 3642342809 ISBN 13: 9783642342806
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 refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification. 528 pp. Englisch. Codice articolo 9783642342806

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

Aoki, Toshiaki (EDT); Taguchi, Kenji (EDT)
Editore: Springer, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
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 18955694-n

Contatta il venditore

Compra nuovo

EUR 60,01
Convertire valuta
Spese di spedizione: EUR 17,20
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: 3642342809 ISBN 13: 9783642342806
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. 528. Codice articolo 2648025912

Contatta il venditore

Compra nuovo

EUR 79,23
Convertire valuta
Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Aoki, Toshiaki (EDT); Taguchi, Kenji (EDT)
Editore: Springer, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
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 18955694

Contatta il venditore

Compra usato

EUR 65,82
Convertire valuta
Spese di spedizione: EUR 17,20
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: 3642342809 ISBN 13: 9783642342806
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. 528 131 Illus. Codice articolo 44789479

Contatta il venditore

Compra nuovo

EUR 80,51
Convertire valuta
Spese di spedizione: EUR 7,45
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