- 5 Resultados
precio mínimo: € 42,78, precio máximo: € 74,25, precio promedio: € 51,22
1
Pedir
por Biblio.co.uk
$ 79,95
(aprox. € 74,25)
Envío: € 11,861
Pedir
Detalles del proveedor
Enlace patrocinado
Flanagan, Cormac (Editor)/ Konig, Barbara (Editor):

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Est - Pasta blanda

2012, ISBN: 9783642287558

Springer Nature, 2020. Paperback. New. 660 pages. 9.25x6.10x1.49 inches., Springer Nature, 2020, 6, Temple Lodge Publishing, 2004-10-01. Paperback. New. New. In shrink wrap. Looks lik… Más…

GBR, U.. - Gastos de envío: EUR 11.86 Revaluation Books, GridFreed LLC, Revaluation Books
cerrar (X)
2
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - Flanagan, Cormac und Barbara König
Pedir
por booklooker.de
€ 42,78
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Flanagan, Cormac und Barbara König:

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - libro usado

2012, ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
cerrar (X)
3
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - Flanagan, Cormac und Barbara König
Pedir
por booklooker.de
€ 42,78
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Flanagan, Cormac und Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - libro usado

2012

ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
cerrar (X)
4
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - Flanagan, Cormac und Barbara König
Pedir
por booklooker.de
€ 42,78
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Flanagan, Cormac und Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - libro usado

2012, ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
cerrar (X)
5
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Pedir
por lehmanns.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - Primera edición

2012, ISBN: 9783642287558

Pasta blanda

18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proc… Más…

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)
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
Tools and Algorithms for the Construction and Analysis of Systems
Autor:
Título:
ISBN:

9783642287558


This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

Detalles del libro - Tools and Algorithms for the Construction and Analysis of Systems


EAN (ISBN-13): 9783642287558
ISBN (ISBN-10): 3642287557
Tapa dura
Tapa blanda
Año de publicación: 2012
Editorial: Springer Berlin
560 Páginas
Peso: 0,833 kg
Idioma: Englisch

Libro en la base de datos desde 2008-11-03T21:37:29+01:00 (Madrid)
Página de detalles modificada por última vez el 2024-02-20T00:23:17+01:00 (Madrid)
ISBN/EAN: 9783642287558

ISBN - escritura alterna:
3-642-28755-7, 978-3-642-28755-8
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: könig barbara, flanagan, corma, cormac
Título del libro: the tools, analysis systems, tallinn, algorithms, international conference software, estonia, flanagan, system, the science book, lecture notes computer science, theory construction, proceedings construction

Datos del la editorial

Autor: Cormac Flanagan; Barbara König
Título: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
Editorial: Springer; Springer Berlin
560 Páginas
Año de publicación: 2012-03-14
Berlin; Heidelberg; DE
Impreso en
Peso: 0,884 kg
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIX, 560 p.

BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; communication networks; software analysis; software engineering; theoretical computer science; Logics and Meanings of Programs; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Artificial Intelligence; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Communication Networks; Compilers and Interpreters; Artificial Intelligence; Programming Techniques; Theoretische Informatik; Netzwerk-Hardware; Compiler und Übersetzer; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; EA

The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.
< para archivar...