Artículos relacionados a Formal Methods and Software Engineering: 12th International...

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... 6447 (Programming and Software Engineering) - Tapa blanda

 
9783642169007: Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... 6447 (Programming and Software Engineering)

Sinopsis

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

Reseña del editor

Formal methods have made signi?cant progress in recent years with succe- ful stories from Microsoft (SLAM project), Intel (i7 processor veri?cation) and NICTA/OK-Lab (formal veri?cation of an OS kernel). The main focus of f- malengineeringmethodsliesinhowformalmethodscanbee?ectivelyintegrated intomainstreamsoftwareengineering.Variousadvancedtheories,techniquesand tools havebeen proposed, developed and applied in the speci?cation, design and veri?cation of software or in the construction of software. The challenge now is how to integrate them into engineering development processes to e?ectively deal with large-scale and complex computer systems for their correct and - ?cient construction and maintenance. This requires us to improve the state of the art by researching e?ective approaches and techniques for integration of f- mal methods into industrial engineering practice, including new and emerging practice. Thisseries,InternationalConferencesonFormalEngineeringMethods,brings together those interested in the application of formal engineering methods to computer systems. This volume contains the papers presented at ICFEM 2010, the 12th International Conference on Formal Engineering Methods, held November 17–19, in Shanghai, China, in conjunction with the Third Inter- tional Symposium on Unifying Theories of Programming (UTP 2010). The Program Committee received 114 submissions from 29 countries and - gions. Each paper was reviewed by at least three program committee members.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Zustand: Hervorragend | Seiten:...
Ver este artículo

EUR 6,90 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 19,49 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9783642169021: Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Edición Destacada

ISBN 10:  3642169023 ISBN 13:  9783642169021
Editorial: Springer, 2011
Tapa blanda

Resultados de la búsqueda para Formal Methods and Software Engineering: 12th International...

Imagen de archivo

Unbekannt
Publicado por Springer-Verlag GmbH, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Hervorragend. Zustand: Hervorragend | Seiten: 712 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 9886056/1

Contactar al vendedor

Comprar usado

EUR 36,72
Convertir moneda
Gastos de envío: EUR 6,90
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Unbekannt
Publicado por Springer-Verlag GmbH, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 712 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 9886056/12

Contactar al vendedor

Comprar usado

EUR 36,72
Convertir moneda
Gastos de envío: EUR 6,90
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Dong, Jin Song|Zhu, Huibiao
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Nuevo Tapa blanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with. Nº de ref. del artículo: 5051293

Contactar al vendedor

Comprar nuevo

EUR 118,64
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

. Ed(s): Dong, Jin Song; Zhu, Huibiao
Publicado por Springer, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Nuevo Tapa blanda

Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016. . 2010. 2010th Edition. paperback. . . . . Nº de ref. del artículo: V9783642169007

Contactar al vendedor

Comprar nuevo

EUR 143,47
Convertir moneda
Gastos de envío: EUR 2,00
De Irlanda a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020219921

Contactar al vendedor

Comprar nuevo

EUR 105,81
Convertir moneda
Gastos de envío: EUR 65,75
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dong, Jin Song (Editor) / Zhu, Huibiao (Editor)
Publicado por Springer, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Nuevo Paperback

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 712 pages. 9.20x6.10x1.10 inches. In Stock. Nº de ref. del artículo: x-3642169007

Contactar al vendedor

Comprar nuevo

EUR 162,25
Convertir moneda
Gastos de envío: EUR 11,87
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

. Ed(s): Dong, Jin Song; Zhu, Huibiao
Publicado por Springer, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Nuevo Tapa blanda

Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016. . 2010. 2010th Edition. paperback. . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9783642169007

Contactar al vendedor

Comprar nuevo

EUR 177,55
Convertir moneda
Gastos de envío: EUR 1,93
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Jin Song Dong
ISBN 10: 3642169007 ISBN 13: 9783642169007
Nuevo Paperback

Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification. This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783642169007

Contactar al vendedor

Comprar nuevo

EUR 127,48
Convertir moneda
Gastos de envío: EUR 65,75
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito