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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Model Checking Software Corina S. Pasareanu
Código Libristo: 01650022
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Descrição completa
? points 132 b
54.47 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Livro Capa mole
common.buy 45.46 €
Einf hrung in Die Sprachheilkunde J. Berendes / Livro Capa mole
common.buy 50.92 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Livro Capa mole
common.buy 8.60 €
Fonti normative francescane Roberto Lambertini / Livro Livro
common.buy 84.24 €
Panorama estratégico, 2006/2007 / Livro Capa mole
common.buy 8.09 €
Azúcar e intervención económica en España Martín Rodríguez / Livro Capa mole
common.buy 23.08 €
benandanti. Una storia senza tempo Floreana Nativo / Livro Capa mole
common.buy 11.23 €
Lehrbuch der Experimentalphysik / Livro Livro de capa dura
common.buy 83.73 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Livro Capa mole
common.buy 12.65 €
La lucha continúa Tonya Sipes / Livro Capa mole
common.buy 8.50 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Livro Capa mole
common.buy 51.84 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Livro Capa mole
common.buy 20.95 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Livro Capa mole
common.buy 19.03 €
Lodz w PRL-u Ewa Niedzwiecka / Livro Livro de capa dura
common.buy 19.53 €
Příběhy z temné komory Günter Grass / Livro Livro de capa dura
common.buy 9.00 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Livro Capa mole
common.buy 48.90 €
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Livro Capa mole
common.buy 10.93 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Livro Capa mole
common.buy 30.27 €
Klassische Boersenstrategien im Test Daniel Ruppert / Livro Capa mole
common.buy 42.52 €
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Livro Livro de capa dura
common.buy 62.47 €
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Livro Capa mole
common.buy 56.09 €
Werbeagenturen in der Politikvermittlung Simon Marschall / Livro Capa mole
common.buy 59.94 €
Santa Biblia/ Holy Bible David Stoop / Livro Capa mole
common.buy 26.82 €
El obispo ciego, y 25 más Alfaro Juan / Livro Capa mole
common.buy 25.31 €

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.§The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

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 Corina S. Pasareanu
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2009
Número de páginas 297
EAN 9783642026515
ISBN 3642026516
Código Libristo 01650022
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 474
Dimensões 155 x 235 x 17

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

Swann's Way: In Search of Lost Time #1 Proust Marcel / Livro Capa mole
common.buy 19.33 €
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Livro Livro de capa dura
common.buy 191.78 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Livro Livro de capa dura
common.buy 169.91 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Livro Capa mole
common.buy 21.46 €
Letter from Point Clear Dennis McFarland / Livro Capa mole
common.buy 20.24 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Livro Capa mole
common.buy 16.80 €
Divergence Charles Sheffield / Audiolivro MP3
common.buy 20.44 €
Untold Story Monica Ali / Audiolivro MP3
common.buy 26.62 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 67.63 €
Sense and Sensibility Jane Austen / E-book Adobe ePub DRM
common.buy 9.31 €
Tattoo Flash Colouring Book Megamunden / Livro Capa mole
common.buy 22.88 €
Swinger Collection 1 Terri J Pedersen / Livro Capa mole
common.buy 9.81 €
Physics of the Life Sciences Jay Newman / Livro Capa mole
common.buy 92.44 €
Dagger John John (The Nightingale-Bamford School) Loughery / Livro Livro de capa dura
common.buy 25.31 €
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Livro Livro de capa dura
common.buy 28.34 €
Ten Poems for a Picnic Jacqueline Gabbitas / Livro Capa mole
common.buy 8.09 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Livro Livro de capa dura
common.buy 35.63 €
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Livro Capa mole
common.buy 9.81 €
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Livro Capa mole
common.buy 7.69 €
How to Be a Freelance Solicitor PAUL BENNETT / Livro Capa mole
common.buy 51.13 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Livro Capa mole
common.buy 14.88 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Livro Livro de capa dura
common.buy 42.72 €
Two Saints & a Lot of Us Sinners Tbd / Livro Capa mole
common.buy 19.03 €
A Practical Treatise on Diseases of the Skin, for the Use of Students and Practitioners James Nevins Hyde / Livro Capa mole
common.buy 29.25 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?