Ir para o conteúdo

Verified Software: Theories, Tools, Experiments: Second International
Foto de Stock: A capa pode ser diferente.

Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings Brochura - 2008

por Natarajan Shankar (Editor); Jim Woodcock (Editor)

Informações do editor

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

Descrição da contracapa

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.

The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

Detalhes

  • Título Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings
  • Autor Natarajan Shankar (Editor); Jim Woodcock (Editor)
  • Encadernação Brochura
  • Edição U. S. EDITION
  • Páginas 263
  • Volumes 1
  • Idioma ENG
  • Editorial Springer
  • Data de publicação 2008-09-22
  • Ilustrado Sim
  • Features Bibliography, Illustrated, Index, Table of Contents
  • ISBN 9783540878728 / 3540878726
  • Peso 0.95 libras (0.43 kg)
  • Dimensão 9.2 x 6.1 x 0.6 in. (23.37 x 15.49 x 1.52 cm)
  • Dewey Decimal Code 005.1

Mais exemplares à venda

Verified Software: Theories, Tools, Experiments (Pb)
Foto de Stock: A capa pode ser diferente.

Verified Software: Theories, Tools, Experiments (Pb)

por SHANKAR N.

  • Novo
Condição
Novo
Edição
USA Edition
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
5
Livreiro
ROANOKE, Virginia, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 32,15
€ 3,77 frete para USA

Mostrar detalhes

Descrição:
USA Edition . Brand New. New. Ship within 24hrs. Satisfaction 100% guaranteed. I Ships from multiple Locations I ""Special Note"" We do not Provide Service On APO & PO BOX Box addresses. Delivery with In 7-14 working Day Only. This Books ship from the United Kingdom & USA other locations in India depending on your location and availability.
Preço do item
€ 32,15
€ 3,77 frete para USA
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008,...
Foto de Stock: A capa pode ser diferente.

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture ... / Programming and Software Engineering)

por Shankar, Natarajan [Editor]; Woodcock, Jim [Editor];

  • Usado
  • Muito Bom
  • Brochura
Condição
Usado - Muito Bom
Encadernação
Paperback
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
1
Livreiro
Spring Branch, Texas, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 34,25
€ 5,67 frete para USA

Mostrar detalhes

Descrição:
Springer, 2008-11-07. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Preço do item
€ 34,25
€ 5,67 frete para USA
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008,...

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

por Natarajan Shankar

  • Novo
Condição
Novo
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
779
Livreiro
Uxbridge, Greater London, United Kingdom
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 58,58
€ 9,56 frete para USA

Mostrar detalhes

Descrição:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings.
Preço do item
€ 58,58
€ 9,56 frete para USA
Verified Software
Foto de Stock: A capa pode ser diferente.

Verified Software

  • Usado
Condição
Usado
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
1
Livreiro
Woodside, New York, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 51,68
€ 3,77 frete para USA

Mostrar detalhes

Descrição:
Springer , pp. 276 . Papeback. Used.
Preço do item
€ 51,68
€ 3,77 frete para USA
Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008,...
Foto de Stock: A capa pode ser diferente.

Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings

por Shankar, Natarajan (Editor)/ Woodcock, Jim (Editor)

  • Novo
  • Brochura
Condição
Novo
Encadernação
Paperback
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
2
Livreiro
Exeter, Devon, United Kingdom
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 3 de 5 estrelas de Biblio clientes.
Preço do item
€ 68,89
€ 11,96 frete para USA

Mostrar detalhes

Descrição:
Springer Verlag, 2008. Paperback. New. 1st edition. 263 pages. 9.00x6.00x0.50 inches.
Preço do item
€ 68,89
€ 11,96 frete para USA
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008,...

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

por Natarajan Shankar

  • Novo
  • Brochura
Condição
Novo
Encadernação
Paperback
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
10
Livreiro
Southport, Merseyside, United Kingdom
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 70,87
€ 11,91 frete para USA

Mostrar detalhes

Descrição:
Paperback / softback. New. This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.
Preço do item
€ 70,87
€ 11,91 frete para USA
Verified Software: Theories, Tools, Experiments (Pb)
Foto de Stock: A capa pode ser diferente.

Verified Software: Theories, Tools, Experiments (Pb)

por Shankar N.

  • Usado
  • Muito Bom
Condição
Usado - Muito Bom
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
1
Livreiro
Indianapolis, Indiana, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 84,78
€ 11,97 frete para USA

Mostrar detalhes

Descrição:
Very Good.
Preço do item
€ 84,78
€ 11,97 frete para USA
Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008,...
Foto de Stock: A capa pode ser diferente.

Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings

por Shankar

  • Novo
  • Brochura
Condição
Novo
Encadernação
Paperback
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
1
Livreiro
New Delhi, India
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 86,86
Frete grátis para USA

Mostrar detalhes

Descrição:
Europe: Springer, 2008. Paperback. Brand New. Book Condition:- Brand New. Secured Packaging. Fast DeliveryBookseller Inventory # 9783540878728
Preço do item
€ 86,86
Frete grátis para USA
Verified Software: Theories, Tools, Experiments (Pb)
Foto de Stock: A capa pode ser diferente.

Verified Software: Theories, Tools, Experiments (Pb)

por Shankar N.

  • Novo
Condição
Novo
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
500
Livreiro
New Delhi, Delhi, India
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 124,43
€ 14,18 frete para USA

Mostrar detalhes

Descrição:
Springer, 2008. New.
Preço do item
€ 124,43
€ 14,18 frete para USA
Verified Software: Theories, Tools, Experiments (Pb)
Foto de Stock: A capa pode ser diferente.

Verified Software: Theories, Tools, Experiments (Pb)

por Shankar N.

  • Novo
Condição
Novo
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantidade Disponível
500
Livreiro
New Delhi, Delhi, India
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 124,43
€ 14,18 frete para USA

Mostrar detalhes

Descrição:
Springer, 2008. New.
Preço do item
€ 124,43
€ 14,18 frete para USA