- 5 Resultados
precio mínimo: € 0,96, precio máximo: € 66,45, precio promedio: € 25,51
1
Verified Software: Theories, Tools, Experiments - Leavens, Gary T. O Hearn, Peter Rajamani, Sriram K.
Pedir
por booklooker.de
€ 66,45
Pedir
Detalles y envío
Enlace patrocinado
Leavens, Gary T. O Hearn, Peter Rajamani, Sriram K.:

Verified Software: Theories, Tools, Experiments - Primera edición

2010, ISBN: 9783642150562

Pasta blanda

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference pro… Más…

Gastos de envío:Zzgl. Versandkosten., más gastos de envío Moluna GmbH
cerrar (X)
2
Pedir
por AbeBooks.de
CHF 19,28
(aprox. € 20,33)
Envío: € 8,451
Pedir
Detalles del proveedor
Enlace patrocinado

Leavens, Gary T., Peter O`Hearn und Sriram K Rajamani:

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Pasta blanda

2010, ISBN: 364215056X

[EAN: 9783642150562], Gebraucht, guter Zustand, [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYTION,EVOLUTI… Más…

NOT NEW BOOK. Gastos de envío: EUR 8.45 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
cerrar (X)
3
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Leavens, Gary T., Peter O`Hearn und Sriram K Rajamani
Pedir
por booklooker.de
€ 20,27
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado
Leavens, Gary T., Peter O`Hearn und Sriram K Rajamani:
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - libro usado

2010

ISBN: 9783642150562

[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPa… Más…

Gastos de envío:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
cerrar (X)
4
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Leavens, Gary T., Peter O`Hearn und Sriram K Rajamani
Pedir
por booklooker.de
€ 19,56
Envío: € 29,901
Pedir
Detalles del proveedor
Enlace patrocinado
Leavens, Gary T., Peter O`Hearn und Sriram K Rajamani:
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - libro usado

2010, ISBN: 9783642150562

[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12, DE, [SC: 29.90], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayP… Más…

Gastos de envío:Versand in die Schweiz. (EUR 29.90) Buchpark GmbH
cerrar (X)
5
Pedir
por Biblio.co.uk
$ 1,04
(aprox. € 0,96)
Envío: € 8,201
Pedir
Detalles del proveedor
Enlace patrocinado
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings: 6217 (Lecture Notes in Computer Science, 6217) - Pasta blanda

2010, ISBN: 9783642150562

Paperback. Very Good., 3

Gastos de envío: EUR 8.20 World of Books Ltd
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
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings: 6217 (Lecture Notes in Computer Science, 6217)
Autor:
Título:
ISBN:

9783642150562


This volume contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. The 11 papers presented together with 3 invited talks were carefully revised and selected for inclusion in the book. This third conference is part of the Verified Software Initiative (VSI), which is a 15 year international project that focuses on the scientific and technical challenges of producing verified software. The goal of VSTTE 2010 was to advance the state of the art in the science and technology of software verification through the interaction of theory development, tool evolution, and experimental validation. The accepted papers represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, software design methods, reusable components, refinement methodologies, and requirements modeling.

Detalles del libro - Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings: 6217 (Lecture Notes in Computer Science, 6217)


EAN (ISBN-13): 9783642150562
ISBN (ISBN-10): 364215056X
Tapa dura
Tapa blanda
Año de publicación: 2010
Editorial: Springer
215 Páginas
Peso: 0,355 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2010-08-25T06:22:38-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-02-17T08:59:57-06:00 (Mexico City)
ISBN/EAN: 9783642150562

ISBN - escritura alterna:
3-642-15056-X, 978-3-642-15056-2
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: hearn, sriram, peter
Título del libro: edinburgh 2010, experiments, the tools, august, international conference software, theories theories, lecture, computer science

Datos del la editorial

Autor: Gary T. Leavens; Peter O'Hearn; Sriram K Rajamani
Título: Lecture Notes in Computer Science; Programming and Software Engineering; Verified Software: Theories, Tools, Experiments - Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Editorial: Springer; Springer Berlin
217 Páginas
Año de publicación: 2010-08-05
Berlin; Heidelberg; DE
Peso: 0,352 kg
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 217 p. 68 illus.

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Action; automated verification; evolution; kernel verification; logic; model checker; modeling; pervas; pervasive verificytion; verification; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA

Invited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.- Verification of Low-Level Code.- A Rely-Guarantee Proof System for x86-TSO.- Pervasive Verification of an OS Microkernel.- Invited Talk.- The L4.verified Project — Next Steps.- Requirements and Specifications.- An Approach of Requirements Tracing in Formal Refinement.- Dafny Meets the Verification Benchmarks Challenge.- Specifying Reusable Components.- Verification Techniques.- Reusable Verification of a Copying Collector.- To Goto Where No Statement Has Gone Before.- Invited Talk.- The Next 700 Separation Logics.- Locality in Reasoning.- Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients.- Abstraction and Refinement for Local Reasoning.
< para archivar...