Artículos relacionados a Formal Methods: Foundations and Applications: 15th...
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings: 7498 (Programming and Software Engineering) - Tapa blanda
Sinopsis
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2012
- ISBN 10 3642332951
- ISBN 13 9783642332951
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas240
- EditorGheyi Rohit, Naumann David
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 49,22
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Formal Methods: Foundations and Applications: 15th...
Imagen de archivo
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642332951
ISBN 13: 9783642332951
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 240 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 22737134/12
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods: Foundations and Applications
Publicado por
Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 3642332951
ISBN 13: 9783642332951
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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. 240 pp. Englisch. Nº de ref. del artículo: 9783642332951
Cantidad disponible: 2 disponibles
Imagen del vendedor
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642332951
ISBN 13: 9783642332951
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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. Nº de ref. del artículo: 9783642332951
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642332951_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Methods: Foundations and Applications
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642332951
ISBN 13: 9783642332951
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up to date results Fast track conference proceedings State of the art researchThis book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012 co-. Nº de ref. del artículo: 5057222
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642332951
Cantidad disponible: 10 disponibles
Imagen del vendedor
Formal Methods : Foundations and Applications, 15th Brazilian Symposium, Sbmf 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 19176878-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 240. Nº de ref. del artículo: 2648032445
Cantidad disponible: 4 disponibles
Imagen de archivo
Formal Methods
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 240 67 Illus. Nº de ref. del artículo: 44782946
Cantidad disponible: 4 disponibles
Imagen del vendedor
Formal Methods: Foundations and Applications
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 3642332951
ISBN 13: 9783642332951
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. Nº de ref. del artículo: 9783642332951
Cantidad disponible: 2 disponibles