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

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 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Livro Capa mole
common.buy 37.78 €
Einf hrung in Die Sprachheilkunde J. Berendes / Livro Capa mole
common.buy 43.04 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Livro Capa mole
common.buy 17.37 €
OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire / Livro Capa mole
common.buy 31.62 €
Azúcar e intervención económica en España Martín Rodríguez / Livro Capa mole
common.buy 20.81 €
Panorama estratégico, 2006/2007 / Livro Capa mole
common.buy 7.47 €
Fonti normative francescane Roberto Lambertini / Livro Livro
common.buy 71.13 €
benandanti. Una storia senza tempo Floreana Nativo / Livro Capa mole
common.buy 9.49 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Livro Capa mole
common.buy 41.12 €
Santa Biblia/ Holy Bible David Stoop / Livro Capa mole
common.buy 21.72 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Livro Capa mole
common.buy 43.14 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Livro Capa mole
common.buy 10.40 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Livro Capa mole
common.buy 8.07 €
Lehrbuch der Experimentalphysik / Livro Livro de capa dura
common.buy 78.31 €
Příběhy z temné komory Günter Grass / Livro Livro de capa dura
common.buy 7.57 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Livro Capa mole
common.buy 15.86 €
Principal
Písanka 2 k Českému jazyku pro 2. ročník / Livro Capa mole
common.buy 2.31 €
Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier / Livro Capa mole
common.buy 22.12 €
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Livro Capa mole
common.buy 39.50 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Livro Capa mole
common.buy 25.76 €
Klassische Boersenstrategien im Test Daniel Ruppert / Livro Capa mole
common.buy 35.46 €
Hüzünlü Vagonlar Deniz Soganci / Livro Capa mole
common.buy 10.90 €
Todesherz Karen Rose / Livro Capa mole
common.buy 18.18 €
Políticas focalizadas de transferência de renda: contextos e BARBARA COBO / Livro Livro
common.buy 27.32 €

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

Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Livro Capa mole
common.buy 6.46 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Livro Livro de capa dura
common.buy 144.90 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Livro Capa mole
common.buy 18.79 €
Letter from Point Clear Dennis McFarland / Livro Capa mole
common.buy 16.36 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Livro Capa mole
common.buy 14.54 €
Dagger John John (The Nightingale-Bamford School) Loughery / Livro Livro de capa dura
common.buy 20.50 €
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 25.35 €
Ten Poems for a Picnic Jacqueline Gabbitas / Livro Capa mole
common.buy 6.56 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Livro Livro de capa dura
common.buy 28.89 €
Swann's Way: In Search of Lost Time #1 Proust Marcel / Livro Capa mole
common.buy 17.17 €
How to Be a Freelance Solicitor PAUL BENNETT / Livro Capa mole
common.buy 43.54 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Livro Capa mole
common.buy 12.52 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Livro Capa mole
common.buy 14.24 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Livro Livro de capa dura
common.buy 38.29 €
Two Saints & a Lot of Us Sinners Tbd / Livro Capa mole
common.buy 16.56 €
Sense and Sensibility Jane Austen / E-book Adobe ePub DRM
common.buy 7.97 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 57.39 €
Untold Story Monica Ali / Audiolivro MP3
common.buy 22.02 €
Color for Knowledge Walter the Educator / Livro Capa mole
common.buy 17.17 €
Covalent Counsel Anthony B Cosenza / Livro Capa mole
common.buy 11.00 €
Theatre and Museums Susan Bennett / Livro Capa mole
common.buy 13.33 €
Reperes Pratiques Guillaume Bernard / Livro Capa mole
common.buy 13.63 €
Philosophy of Human Hope J.J. Godfrey / Livro Livro de capa dura
common.buy 91.75 €
Interstate Relations in Classical Greece Polly Low / Livro Livro de capa dura
common.buy 114.68 €

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