Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Formal Approaches to Software Testing and Runtime Verification Klaus Havelund

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Língua

Inglês

Livro Capa mole

Livro Formal Approaches to Software Testing and Runtime Verification Klaus Havelund

Código Libristo: 01565081

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dezembro 2006

This book constitutes the thoroughly refereed post-proceedings of the First Combined International W... Descrição completa

Código Libristo: 01565081

?

points

118 b

48.79 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

ber Eine Ballonsonde F r Polarlichtmessungen Und ber Den Vergleich Von Polarlichtemissionen, R ntgenstrahlen Und Ionosph rischen Absorptionen K. Richter

/

Capa mole

50.10 €

Punkty przecięcia Paulina Cedlerska

/

Capa mole

7.16 €

Tiotusen meter - erotisk novell Hermansson

/

MP3

2.82 €

La Orden de Santiago en Guadalajara : la encomienda de Mohernando y el condado de Humanes Miguel Marchamalo Main

/

Capa mole

21.51 €

futuro raccontato dalle piante. Cosa possiamo imparare dal regno vegetale e dal suo percorso sul pianeta Barbara Mazzolai

/

Livro de capa dura

17.37 €

LENGUA CASTELLANA Y LITERATURA, 1 ESO. CUADERNO DE LEXICO EQUIP EDITORIAL CRUILLA

/

Livro

6.66 €

INTERROS DES LYCEES MATHS 2DE Erik de Brauwere

/

Capa mole

15.75 €

Soudruhu, nezlob se! - Společenská hra Ivan Mládek

/

Jogo

14.13 €

Tea Party Lorenzo F. Díaz

/

Capa mole

18.48 €

StaatsRache - Justizkritische Beitrage gegen die Dummheit im deutschen Recht(ssystem) Richard Albrecht

/

Capa mole

25.25 €

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Approaches to Software Testing and Runtime Verification

Autor Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2006

Número de páginas 255

EAN 9783540496991

ISBN 3540496998

Código Libristo 01565081

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 421

Dimensões 155 x 235 x 15

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Arquitetura da informação

Informática & tecnologia da informação > Equipamento informático > Manutenção e reparações

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Informática & tecnologia da informação > Sistemas operativos

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Animal Game Daniel E. Bender

/

Livro de capa dura

47.17 €

Deep Down (A Jack Reacher short story) Lee Child

/

MP3

7.16 €

The Stepdaughter Gary Indiana

/

Capa mole

12.52 €

Gender in Ottoman Constantinople David Selim Sayers

/

Livro de capa dura

32.02 €

Teaching Late Twentieth-Century Mexicana and Chicana Writers Elizabeth Coonr Martínez

/

Capa mole

44.65 €

Routledge Handbook of Modern Korean History Michael Seth

/

Capa mole

63.74 €

Documents Relating to the Colonial History of the State of New Jersey, [1631-1776] Volume 19 William Nelson

/

Capa mole

28.58 €

Everett Railroad: History Through the Miles Barton Jennings

/

Capa mole

9.29 €

Oxford Mathematics for the Caribbean 6th edition: 11-14: Workbook 2 Nicholas Goldberg

/

Capa mole

12.32 €

History and Heritage of St James's Hospital, Dublin Mary Coakley

/

Livro de capa dura

62.93 €

The Whale Whisperers: : The Shaman's Curse Dale Palko M D

/

Capa mole

6.56 €

White Fang Jack London

/

Capa mole

15.75 €

Game Production Handbook Chandler

/

Capa mole

119.01 €

Bloody Tears Danielle Houghton

/

Capa mole

12.32 €

Persuasion Jane Austen

/

Capa mole

12.32 €

Feminism and the Power of Law Carol Smart

/

Capa mole

79.81 €

The United States Marines Ltcol Charles Patrick Neimeyer

/

Livro de capa dura

49.09 €

Battle for the White House from Bush to Obama AnthonyJ Bennett

/

Livro de capa dura

53.13 €

Knowledge and Practice in English Medicine, 1550-1680 Andrew Wear

/

Livro de capa dura

128.10 €

Impact of Emerging Technologies on Computer Science and Operations Research Stephen G. Nash

/

Capa mole

223.47 €

Ten Days That Shook the World John Reed

/

Capa mole

11.00 €

The Rage Gene Kerrigan

/

Capa mole

11.91 €

ŠVÉDSKO SCHWEDEN SÜDWEST 1:250 000

/

Livro

10.40 €

Postcolonial Cultures Simon Featherstone

/

Capa mole

33.73 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?