- 5 resultados
menor preço: € 42.78, preço mais alto: € 74.25, preço médio: € 51.22
1
Encomendar
no/na Biblio.co.uk
$ 79.95
(aproximadamente € 74.25)
Envio: € 11.861
Encomendar
Detalhes fornecedor
Link 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 - Livro de bolso

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… mais…

GBR, U.. - Custos de envio: EUR 11.86 Revaluation Books, GridFreed LLC, Revaluation Books
fechar(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
Encomendar
no/na booklooker.de
€ 42.78
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link 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 - livro 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… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fechar(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
Encomendar
no/na booklooker.de
€ 42.78
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link 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 - livro 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… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fechar(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
Encomendar
no/na booklooker.de
€ 42.78
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link 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 - livro 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… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fechar(X)
5
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Encomendar
no/na lehmanns.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - primeira edição

2012, ISBN: 9783642287558

Livro de bolso

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… mais…

Custos de envio:Versand in 10-14 Tagen. (EUR 0.00)
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Tools and Algorithms for the Construction and Analysis of Systems
Autor:
Título:
Número 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.

Dados detalhados do livro - Tools and Algorithms for the Construction and Analysis of Systems


EAN (ISBN-13): 9783642287558
ISBN (ISBN-10): 3642287557
Livro de capa dura
Livro de bolso
Ano de publicação: 2012
Editor/Editora: Springer Berlin
560 Páginas
Peso: 0,833 kg
Língua: Englisch

Livro na base de dados desde 2008-11-03T18:37:29-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-02-19T20:23:17-03:00 (Sao Paulo)
Número ISBN/EAN: 9783642287558

Número ISBN - Ortografia alternativa:
3-642-28755-7, 978-3-642-28755-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: könig barbara, flanagan, corma, cormac
Título do livro: the tools, analysis systems, tallinn, algorithms, international conference software, estonia, flanagan, system, the science book, lecture notes computer science, theory construction, proceedings construction

Dados da editora

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
Editora: Springer; Springer Berlin
560 Páginas
Ano de publicação: 2012-03-14
Berlin; Heidelberg; DE
Impresso / Feito em
Peso: 0,884 kg
Língua: 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 arquivar...