- 5 Resultados
precio mínimo: € 42,79, precio máximo: € 80,28, precio promedio: € 62,77
1
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - Joseph L. Awange
Pedir
por hive.co.uk
£ 59,49
(aprox. € 68,71)
Pedir
Detalles y envío
Enlace patrocinado
Joseph L. Awange:

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - libro nuevo

2012, ISBN: 9783642340260

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Más…

No. 9783642340260. Gastos de envío:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., más gastos de envío
cerrar (X)
2
Leveraging Applications of Formal Methods, Verification and Validation
Pedir
por Springer.com
€ 42,79
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Leveraging Applications of Formal Methods, Verification and Validation - libro nuevo

2012, ISBN: 9783642340260

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Más…

Nr. 978-3-642-34026-0. Gastos de envío:Worldwide free shipping, , DE. (EUR 0.00)
cerrar (X)
3
Leveraging Applications of Formal Methods Verification and Validation
Pedir
por eBook.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Leveraging Applications of Formal Methods Verification and Validation - libro nuevo

2012

ISBN: 9783642340260

Leveraging Applications of Formal Methods Verification and Validation - 5th International Symposium ISoLA 2012 Heraklion Crete Greece October 15-18 2012 Proceedings Part I: ab 53.49 € eBo… Más…

Gastos de envío:in stock, , , DE. (EUR 0.00)
cerrar (X)
4
Pedir
por lehmanns.de
€ 80,28
Envío: € 9,951
Pedir
Detalles del proveedor
Enlace patrocinado
Tiziana Margaria; Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation - libro nuevo

2012, ISBN: 9783642340260

5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berli… Más…

Gastos de envío:Download sofort lieferbar. (EUR 9.95)
cerrar (X)
5
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - V Gopikrishna
Pedir
por hive.co.uk
£ 60,78
(aprox. € 68,58)
Pedir
Detalles y envío
Enlace patrocinado
V Gopikrishna:
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - libro nuevo

2012, ISBN: 9783642340260

; EPUB; Computing > Operating systems, Elsevier Health Sciences APAC

No. 9783642340260. Gastos de envío:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., más gastos de envío
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Leveraging Applications of Formal Methods, Verification and Validation
Autor:
Título:
ISBN:

9783642340260

Detalles del libro - Leveraging Applications of Formal Methods, Verification and Validation


EAN (ISBN-13): 9783642340260
Año de publicación: 2012
Editorial: Springer Berlin Heidelberg

Libro en la base de datos desde 2017-04-18T23:18:37+02:00 (Madrid)
Página de detalles modificada por última vez el 2023-12-02T20:43:09+01:00 (Madrid)
ISBN/EAN: 9783642340260

ISBN - escritura alterna:
978-3-642-34026-0
Mode alterno de escritura y términos de búsqueda relacionados:
Título del libro: validation, heraklion, leveraging

Datos del la editorial

Autor: Tiziana Margaria; Bernhard Steffen
Título: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Editorial: Springer; Springer Berlin
617 Páginas
Año de publicación: 2012-09-26
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 617 p. 170 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; automata; concurrent programs; model checking; scientific workflows; software product lines; C; Software Engineering; Compilers and Interpreters; Operating Systems; Theory of Computation; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Computer Science; Compiler und Übersetzer; Betriebssysteme; Theoretische Informatik; Künstliche Intelligenz; BC

The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.
Fast track conference proceedings Unique visibility State of the art research
< para archivar...