Articoli correlati a Formal Methods: Foundations and Applications: 13th...
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 (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo ce76dba9cb2fe7217a4098987eb15b80
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 : 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 52,41
Spedizione EUR 2,32
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 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 59,19
Spedizione gratuita
Spedito in U.S.A.
Spedito 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 ... (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 61,60
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 : 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: As New. Unread book in perfect condition. Codice articolo 14360042
Compra usato
EUR 61,61
Spedizione EUR 2,32
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
Editore:
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642198287
ISBN 13: 9783642198281
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 2011th. 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. Codice articolo LU-9783642198281
Compra nuovo
EUR 66,38
Spedizione gratuita
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
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 300. Codice articolo 263600271
Compra nuovo
EUR 65,78
Spedizione EUR 3,51
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 300 50 Illus. (19 Col.). Codice articolo 4280400
Compra nuovo
EUR 63,65
Spedizione EUR 7,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 300. Codice articolo 183600261
Compra nuovo
EUR 64,01
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 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 57,34
Spedizione EUR 18,06
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili