Artículos relacionados a Leveraging Applications of Formal Methods: First Internation...

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... Computer Science and General Issues) - Tapa blanda

 
9783540489283: Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... Computer Science and General Issues)

Sinopsis

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

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

Críticas

From the reviews:

"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. ... I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)

Reseña del editor

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.

The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

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

Comprar usado

Condición: Regular
Lecture Notes in Computer Science...
Ver este artículo

EUR 3,43 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 2,26 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Leveraging Applications of Formal Methods: First Internation...

Imagen de archivo

Tiziana Margaria; Bernhard Steffen (editors)
Publicado por Springer, 2006
ISBN 10: 3540489282 ISBN 13: 9783540489283
Antiguo o usado Soft Cover

Librería: BookOrders, Russell, IA, 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

Soft Cover. Condición: Fair. Lecture Notes in Computer Science, 4313. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 196 pages. The book has a light bend from poor storage. Ex-Library. Nº de ref. del artículo: 033541

Contactar al vendedor

Comprar usado

EUR 26,51
Convertir moneda
Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Maragria, Tiziana [Editor]; Steffen, Bernhard [Editor];
Publicado por Springer, 2006
ISBN 10: 3540489282 ISBN 13: 9783540489283
Antiguo o usado Paperback

Librería: GuthrieBooks, Spring Branch, 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

Paperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD1520252

Contactar al vendedor

Comprar usado

EUR 45,51
Convertir moneda
Gastos de envío: EUR 6,00
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Maragria, Tiziana; Steffen, Bernhard (EDT)
Publicado por Springer, 2006
ISBN 10: 3540489282 ISBN 13: 9783540489283
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, 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. Nº de ref. del artículo: 6429915-n

Contactar al vendedor

Comprar nuevo

EUR 53,37
Convertir moneda
Gastos de envío: EUR 2,26
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2006
ISBN 10: 3540489282 ISBN 13: 9783540489283
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: ABLIING23Mar3113020168237

Contactar al vendedor

Comprar nuevo

EUR 52,27
Convertir moneda
Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Tiziana Maragria
ISBN 10: 3540489282 ISBN 13: 9783540489283
Nuevo Paperback

Librería: Grand Eagle Retail, Bensenville, IL, 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 thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. Constitutes the refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, that was held in Paphos, Cyprus in October/November 2004. This title presents 12 revised full papers that discuss issues related to the adoption and use of rigorous tools and methods for the specification. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783540489283

Contactar al vendedor

Comprar nuevo

EUR 55,71
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Maragria, Tiziana; Steffen, Bernhard (EDT)
Publicado por Springer, 2006
ISBN 10: 3540489282 ISBN 13: 9783540489283
Antiguo o usado Tapa blanda

Librería: GreatBookPrices, Columbia, 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: As New. Unread book in perfect condition. Nº de ref. del artículo: 6429915

Contactar al vendedor

Comprar usado

EUR 59,53
Convertir moneda
Gastos de envío: EUR 2,26
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2006
ISBN 10: 3540489282 ISBN 13: 9783540489283
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

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. In. Nº de ref. del artículo: ria9783540489283_new

Contactar al vendedor

Comprar nuevo

EUR 60,29
Convertir moneda
Gastos de envío: EUR 13,80
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Bernhard Steffen
ISBN 10: 3540489282 ISBN 13: 9783540489283
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

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

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. 212 pp. Englisch. Nº de ref. del artículo: 9783540489283

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2006
ISBN 10: 3540489282 ISBN 13: 9783540489283
Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

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. pp. 216. Nº de ref. del artículo: 26302179

Contactar al vendedor

Comprar nuevo

EUR 73,33
Convertir moneda
Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Maragria, Tiziana; Steffen, Bernhard (EDT)
Publicado por Springer, 2006
ISBN 10: 3540489282 ISBN 13: 9783540489283
Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

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: 6429915-n

Contactar al vendedor

Comprar nuevo

EUR 60,28
Convertir moneda
Gastos de envío: EUR 17,28
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 8 copia(s) de este libro

Ver todos los resultados de su búsqueda