Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers: 6527 - Brossura
Sinossi
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods: Foundations and Applications: 13th...
Foto dell'editore
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020220438
Compra nuovo
EUR 52,57
Spese di spedizione:
EUR 3,42
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, Sbmf 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 14360042-n
Compra nuovo
EUR 53,75
Spese di spedizione:
EUR 2,26
In U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783642198281
Compra nuovo
EUR 60,04
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642198281_new
Compra nuovo
EUR 58,10
Spese di spedizione:
EUR 13,71
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783642198281
Compra nuovo
EUR 56,28
Spese di spedizione:
EUR 17,72
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, Sbmf 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 14360042-n
Compra nuovo
EUR 58,09
Spese di spedizione:
EUR 17,16
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec (Paperback or Softback)
Editore:
Springer 3/23/2011, 2011
ISBN 10: 3642198287
ISBN 13: 9783642198281
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec. Book. Codice articolo BBS-9783642198281
Compra nuovo
EUR 83,51
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised . / Programming and Software Engineering)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 299 pages. 9.30x6.00x0.70 inches. In Stock. Codice articolo x-3642198287
Compra nuovo
EUR 78,73
Spese di spedizione:
EUR 11,44
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. up-to-date resultsfast track conference proceedingsstate-of-the-art reportup-to-date resultsfast track conference proceedingsstate-of-the-art reportThis book constitutes the thoroughly refereed post-conferenceproceedings of the . Codice articolo 5052008
Compra nuovo
EUR 48,74
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, Sbmf 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 14360042
Compra usato
EUR 117,84
Spese di spedizione:
EUR 17,16
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili