Articoli correlati a Formal Methods: Foundations and Applications: 17th...
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings: 8941 - Brossura
Sinossi
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.
The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.
The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2015
- ISBN 10 331915074X
- ISBN 13 9783319150741
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine192
- RedattoreBraga Christiano, Martķ-Oliet Narciso
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 39,61
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Formal Methods: Foundations and Applications: 17th...
Immagini fornite dal venditore
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science, Band 8941) 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
2015. 192 Seiten Buch in neuwertigem Zustand. Wirkt unbenutzt. Lediglich Mini-BibSignatur auf buchrücken und Barcode auf Vorsatz. 9783319150741 Sprache: Englisch Gewicht in Gramm: 272 Taschenbuch, Größe: 15.5 x 1.1 x 23.5 cm. Codice articolo 1129549
Quantitą: 1 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
Editore:
Springer International Publishing, 2015
ISBN 10: 331915074X
ISBN 13: 9783319150741
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 4499494
Quantitą: Pił di 20 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
Editore:
Springer International Publishing Jan 2015, 2015
ISBN 10: 331915074X
ISBN 13: 9783319150741
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. 192 pp. Englisch. Codice articolo 9783319150741
Quantitą: 2 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
ISBN 10: 331915074X
ISBN 13: 9783319150741
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. Codice articolo 9783319150741
Quantitą: 1 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
ISBN 10: 331915074X
ISBN 13: 9783319150741
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch. Codice articolo 9783319150741
Quantitą: 2 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319150741_new
Quantitą: Pił di 20 disponibili
Immagini fornite dal venditore
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 23090280-n
Quantitą: Pił di 20 disponibili
Immagini fornite dal venditore
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, MaceiĆ , Al, Brazil, September 29--october 1, 2014, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 23090280-n
Quantitą: Pił di 20 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783319150741
Quantitą: 10 disponibili
Immagini fornite dal venditore
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 23090280
Quantitą: Pił di 20 disponibili