Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings: 7021 - Brossura
Sinossi
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Hard to find
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Formal Methods: Foundations and Applications: 14th...
Foto dell'editore
Formal Methods: Foundations and Applications (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo ae0d6045f34e67396de31c0cb629b95f
Compra nuovo
EUR 46,22
Spedizione EUR 5,50
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 15616976-n
Compra nuovo
EUR 52,70
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 15616976
Compra usato
EUR 62,95
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science, 7021)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642250316_new
Compra nuovo
EUR 58,70
Spedizione EUR 13,77
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (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-9783642250316
Compra nuovo
EUR 56,57
Spedizione EUR 17,80
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science, 7021)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783642250316
Compra nuovo
EUR 75,25
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 15616976-n
Compra nuovo
EUR 58,69
Spedizione EUR 17,24
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 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 15616976
Compra usato
EUR 66,20
Spedizione EUR 17,24
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 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 reportThis book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Bra. Codice articolo 5053766
Compra nuovo
EUR 48,74
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revised Selected Papers
Editore:
Springer-Verlag New York Inc, 2011
ISBN 10: 3642250319
ISBN 13: 9783642250316
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 2011 edition. 203 pages. 9.00x6.00x0.50 inches. In Stock. Codice articolo x-3642250319
Compra nuovo
EUR 98,13
Spedizione EUR 11,49
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili