Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Model Checking Software

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Model Checking Software Alastair Donaldson
Código Libristo: 01661641
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julho 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Descrição completa
? points 103 b
42.43 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Livro Capa mole
common.buy 28.55 €
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Livro Capa mole
common.buy 37.36 €
Krabben Günter Pump / Livro Livro de capa dura
common.buy 7.48 €
Veselý vlak - Nálepky do vane neuvedený autor / Artigos impressos Cartões
common.buy 10.22 €
Polnische Ostseeküste Wolfgang Kling / Livro Capa mole
common.buy 12.65 €
FAUNO Cristina Lobo / Livro Capa mole
common.buy 18.22 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Livro Capa mole
common.buy 24.30 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Livro Capa mole
common.buy 14.27 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Livro Capa mole
common.buy 30.07 €
Ganz normale Bürger David King / Livro Livro de capa dura
common.buy 17.41 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Livro Capa mole
common.buy 11.94 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
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 Model Checking Software
Autor Alastair Donaldson, David Parker
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 261
EAN 9783642317583
ISBN 3642317588
Código Libristo 01661641
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 > Programação & engenharia informática > Engenharia de programas > Testagem e verificação de programas
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 > Ciência informática > Arquitetura informática e conceção lógica
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

Begegnung Mit Der Vergangenheit Alberto Giacometti / Livro Livro de capa dura
common.buy 92.56 €
Esther's Tooth: Judge Ortega investigates Mike Thomas / Livro Capa mole
common.buy 12.65 €
The Fulcrum Files Mark Chisnell / Livro Capa mole
common.buy 13.36 €
Trapped Under the Sea Neil Swidey / Livro Capa mole
common.buy 15.59 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Livro Livro de capa dura
common.buy 39.19 €
Stories from Mother's Note Book Lucy Tonge / Livro Livro de capa dura
common.buy 27.03 €
Sanctuary of Demeter and Kore Nancy Bookidis / Livro Livro de capa dura
common.buy 157.08 €
Methane and its Derivatives Sunggyu Lee / Livro Livro de capa dura
common.buy 406.74 €
Restraining Rage William Vernon Harris / Livro Capa mole
common.buy 41.21 €
Why America's Public Schools Are the Best Place for Kids Dave F. Brown / Livro Livro de capa dura
common.buy 103.50 €
Integration Through Foreign Direct Investment Gábor Hunya / Livro Livro de capa dura
common.buy 143.51 €
Last Generation of the Roman Republic Gruen / Livro Capa mole
common.buy 43.14 €
Everything we do is music Barry Russell / Livro Capa mole
common.buy 27.23 €
International Climate Change Law Daniel Bodansky / Livro Capa mole
common.buy 79.09 €
Music and Technology: A Very Short Introduction Katz / Livro Capa mole
common.buy 8.60 €
Cracked James Davies / Livro Capa mole
common.buy 12.04 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Livro Livro de capa dura
common.buy 161.13 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Livro Capa mole
common.buy 10.32 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo