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
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Model Checking Software Antti Valmari
Código Libristo: 01561845
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Descrição completa
? points 122 b
50.58 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Livro Capa mole
common.buy 15.17 €
Mit Vollgas Weiter Die Jungen Klostertaler / Áudio CD de áudio
common.buy 16.08 €
Rupáner-konyha Rupáner-Gallé Margó / Livro Livro de capa dura
common.buy 12.03 €
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Livro binding.
common.buy 8.08 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Livro Capa mole
common.buy 22.15 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Livro Capa mole
common.buy 21.34 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Livro Capa mole
common.buy 14.05 €
XXX xxx / Livro Capa mole
common.buy 6.47 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Livro Folha
common.buy 13.45 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Livro Capa mole
common.buy 31.05 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Livro Capa mole
common.buy 14.26 €
Planner Story Pavel Kosatík / Livro Livro de capa dura
common.buy 0.80 €
Celulas-Tronco Capuano Vanessa Capuano / Livro Capa mole
common.buy 47.45 €
Corrales: Guia de Servicios Diego Molina Ruiz / Livro Capa mole
common.buy 5.25 €
La Mort Comme Effet Secondaire Shua / Livro Capa mole
common.buy 19.92 €
Grundlagen des Usability-Engineering Marcel Thum / Livro Capa mole
common.buy 14.26 €
SPUREN - Die Opfer des NSU / Vídeo DVD
common.buy 16.99 €
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Livro Capa mole
common.buy 16.38 €
Decirte adiós con un te quiero SILVIA CARPALLO / Livro Capa mole
common.buy 16.58 €
LED ZEPPELIN MICK WALL / Livro Capa mole
common.buy 24.58 €
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Livro Capa mole
common.buy 20.23 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Livro Livro de capa dura
common.buy 36.62 €
Vengeful - Die Rache ist mein V. E. Schwab / Livro Capa mole
common.buy 13.75 €
Grossbuchstaben Geschichten 2 Sara Quast / Livro Capa mole
common.buy 5.15 €

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

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 Antti Valmari
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2006
Número de páginas 308
EAN 9783540331025
ISBN 3540331026
Código Libristo 01561845
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1010
Dimensões 155 x 19 x 19

Categorias

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

Thirteenth Bullet Cotton Smith / Livro Capa mole
common.buy 6.57 €
Riveted Meljean Brook / Livro Capa mole
common.buy 16.89 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Livro Capa mole
common.buy 17.80 €
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Livro Capa mole
common.buy 11.02 €
Nuclear Medicine Dibya Prakash / Livro Capa mole
common.buy 44.91 €
International Relations Theory Michael Haas / Livro Livro de capa dura
common.buy 114.93 €
Spanish Notebook Christopher Buckley / Livro Capa mole
common.buy 13.35 €
Wages of Sin Kaite Welsh / Livro Capa mole
common.buy 13.95 €
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Livro Capa mole
common.buy 8.79 €
Handbook of Macroeconomics J B Taylor / Livro Livro de capa dura
common.buy 133.85 €
Picasso Anna Coliva / Livro Livro de capa dura
common.buy 42.89 €
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Livro Capa mole
common.buy 5.66 €
Dancing with Sophia Brian Schroeder / Livro Capa mole
common.buy 42.69 €
Beginner's Guide to Chinese Brush Painting Susan Self / Livro Livro de capa dura
common.buy 8.59 €
Once Upon a Winter Tennant Tilly Tennant / Livro Capa mole
common.buy 10.11 €
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Livro Capa mole
common.buy 6.36 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-book Adobe ePub DRM
common.buy 67.68 €
Young ELI Readers - English Jane Cadwallader / Livro Capa mole
common.buy 6.87 €
Dark Psychology Sushmita Dutta / Livro Capa mole
common.buy 11.73 €
Principal
The Charlie Method Elle Kennedy / Livro Capa mole
common.buy 11.63 €
Surgery for Parkinson's Disease Robert R. Goodman / Livro Livro de capa dura
common.buy 44.91 €
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Livro Livro de capa dura
common.buy 161.17 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Livro Capa mole
common.buy 91.86 €
Writing Indian Nations Konkle / Livro Capa mole
common.buy 39.55 €

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